Sign in
eclipse
/
gerrit
/
modisco
/
org.eclipse.modisco
/
7ed9a26677174b668a1ed66dcfae3aa3f52d9970
/
.
/
org.eclipse.modisco.java.discoverer.benchmark
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 9c6b46fa47d93b68c0ae20114b8f676ec733c5e8 [
file
]
#Thu Jun 03 15:28:59 CEST 2010
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_MoDisco
formatter_settings_version
=
11
