xref
: /
external
/
libgdx
/
extensions
/
gdx-box2d
/
gdx-box2d
/
.settings
/
org.eclipse.jdt.ui.prefs
android-7.1.0_r7
android-15.0.0_r1
android-14.0.0_r21
android-13.0.0_r83
android-12.0.0_r34
android-11.0.0_r48
android-10.0.0_r47
android-9.0.0_r61
android-8.1.0_r81
android-8.0.0_r28
android-7.1.2_r28
android-7.0.0_r1
android-6.0.1_r66
android-5.1.1_r30
android-5.0.1_r1
android-4.4.4_r1
android-4.3_r1.1
android-4.2.2_r1
android-4.1.1_r1
android-4.0.1_r1
android-2.3.7_r1
android-2.0.1_r1
android-1.6_r1.2
Diff With...
android-15.0.0_r1
android-14.0.0_r21
android-13.0.0_r83
android-12.0.0_r34
android-11.0.0_r48
android-10.0.0_r47
android-9.0.0_r61
android-8.1.0_r81
android-8.0.0_r28
android-7.1.2_r28
android-7.0.0_r1
android-6.0.1_r66
android-5.1.1_r30
android-5.0.1_r1
android-4.4.4_r1
android-4.3_r1.1
android-4.2.2_r1
android-4.1.1_r1
android-4.0.1_r1
android-2.3.7_r1
android-2.0.1_r1
android-1.6_r1.2
Home
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
eclipse.preferences.version
=1
2
formatter_profile=_libgdx
3
formatter_settings_version=12
4