Sign in
eclipse
/
modisco
/
org.eclipse.modisco
/
06f2bb0f7a6f12dd60ffbbe88b0070284ec20352
/
.
/
org.eclipse.modisco.kdm.source.extension
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 5eaf80599533d2f97403e55efa10d14e6479bf20 [
file
] [
log
] [
blame
]
#Thu Jan 13 10:14:28 CET 2011
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_MoDisco
formatter_settings_version
=
12