Google Git
Sign in
android / platform / external / libgdx / 4702c5037b2c83be18e646af7cc89b5a60d6d915 / . / extensions / gdx-box2d / gdx-box2d-gwt / .settings
tree: 2891c5a2f04435ed1899446b3dfd125c8c73bf6c [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs