Sign in
eclipse
/
jdt
/
eclipse.jdt.ui
/
edb0cf30f6d4c3ebc1d24fdf41defba5763b0aad
/
.
/
org.eclipse.jdt.ui.examples.javafamily
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 116d8c5a741477c66094a9905565fae086c06b2a [
file
] [
log
] [
blame
]
#Tue Apr 18 16:37:08 CEST 2006
eclipse
.
preferences
.
version
=
1
internal
.
default
.
compliance
=
default