Sign in
eclipse
/
gerrit
/
jeetools
/
webtools.javaee
/
fa91671d7d146044fb7b39d8d06723e60ea3949c
/
.
/
plugins
/
org.eclipse.jst.j2ee.core
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 1dd89f7e4f51af4816801a860ba1952275eaa184 [
file
] [
log
] [
blame
]
#Tue May 08 16:50:10 EDT 2007
eclipse
.
preferences
.
version
=
1
internal
.
default
.
compliance
=
default