Sign in
eclipse
/
modisco
/
org.eclipse.modisco
/
0ede6ff761230988c0af9f02e1c44e90667a25b0
/
.
/
org.eclipse.modisco.omg.gastm
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 1b483dd22ec14f3c83b3af66e526aacd89db26ca [
file
] [
log
] [
blame
]
#Thu Jan 13 10:15:05 CET 2011
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_MoDisco
formatter_settings_version
=
12