Sign in
eclipse
/
platform
/
eclipse.platform
/
b5617ff4403323276a8d0b13f712f36e4c64aa2f
/
.
/
platform
/
org.eclipse.platform
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: dfdd2455ddb1ea5c606f3a707ec7e449eafdcce5 [
file
] [
log
] [
blame
]
#Mon Oct 30 17:02:51 EST 2006
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_core
formatter_settings_version
=
10
