Sign in
eclipse
/
gerrit
/
modisco
/
org.eclipse.modisco
/
7ed9a26677174b668a1ed66dcfae3aa3f52d9970
/
.
/
org.eclipse.gmt.modisco.infra.facet.ui
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: cb089cc1b0deacdc6025cc7461f6fdc62807d083 [
file
] [
log
] [
blame
]
#Tue Nov 24 11:25:45 CET 2009
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_MoDisco
formatter_settings_version
=
11
