Sign in
eclipse
/
gerrit
/
modisco
/
org.eclipse.modisco
/
434ef2465739632938805fd83d0114d91f5d638f
/
.
/
org.eclipse.modisco.eclipseplugin.discoverer
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 06f3910712af77ccd6b0e5e4168d0e6ba36221da [
file
] [
log
] [
blame
]
#Thu Jan 13 10:12:28 CET 2011
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_MoDisco
formatter_settings_version
=
12
