Sign in
eclipse
/
gerrit
/
tea
/
tea
/
78838fd24d1d3a5ca04192a4d85067e7a79d2591
/
.
/
org.eclipse.tea.ease
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: ede24ed92a6bca4a67da9a6f7350e1d1916ba173 [
file
] [
log
] [
blame
]
eclipse
.
preferences
.
version
=
1
formatter_profile
=
org
.
eclipse
.
jdt
.
ui
.
default
.
eclipse_profile
formatter_settings_version
=
12