Sign in
eclipse
/
gerrit
/
modisco
/
org.eclipse.modisco
/
refs/heads/rmDeprecated
/
.
/
org.eclipse.gmt.modisco.infra.query.edit
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 6be011af69993e35f5607eefffd87e61639463ae [
file
]
#Thu Jan 13 10:07:24 CET 2011
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_MoDisco
formatter_settings_version
=
12
