Sign in
eclipse
/
modisco
/
org.eclipse.modisco
/
b996fa033369d7d70d2feeb60ba7ca44f2970daa
/
.
/
archive
/
org.eclipse.gmt.modisco.omg.smm
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: d621b0fc0f542d7c95f08904338779ff2e70005d [
file
] [
log
] [
blame
]
#Thu Jan 13 10:09:55 CET 2011
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_MoDisco
formatter_settings_version
=
12
