Sign in
eclipse
/
modisco
/
org.eclipse.modisco
/
384d1d721540893bfb82c658dab3a597c9a5db92
/
.
/
org.eclipse.gmt.modisco.kdm.browser.extension
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 6d97a1fea150156c1ed8f7ba92a17160f91f0095 [
file
] [
log
] [
blame
]
#Thu Jan 13 10:09:12 CET 2011
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_MoDisco
formatter_settings_version
=
12