Sign in
eclipse
/
modisco
/
org.eclipse.modisco
/
45e2403e39913b2154e10a968c25c8ff1518712e
/
.
/
org.eclipse.modisco.infra.facet.editor
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 97992a1980e6b33149eb1aa7530a90c433af3fdf [
file
] [
log
] [
blame
]
#Thu Jan 13 10:06:56 CET 2011
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_MoDisco
formatter_settings_version
=
12
