Sign in
apache
/
ace
/
refs/heads/legacy
/
.
/
webui
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 85e187d7bda32f436dbccf9dfe7c9ae7ed8c6238 [
file
] [
log
] [
blame
]
#Tue Jul 07 12:04:10 CEST 2009
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_luminis
formatter_settings_version
=
11
