Sign in
gwt
/
gwt
/
refs/tags/1.3.1
/
.
/
eclipse
/
servlet
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 53fc91874ab3d31ac59a3f2ea18ca77fe1601eb7 [
file
] [
log
] [
blame
]
#Tue Dec 05 15:11:19 EST 2006
eclipse
.
preferences
.
version
=
1
internal
.
default
.
compliance
=
user
