Sign in
eclipse
/
gerrit
/
platform
/
eclipse.platform
/
refs/tags/I20190326-1800
/
.
/
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