Sign in
eclipse
/
jdt
/
eclipse.jdt.ui
/
edb0cf30f6d4c3ebc1d24fdf41defba5763b0aad
/
.
/
org.eclipse.jdt.junit.runtime
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 7008cc459800716cdca19cba59197ba092b777b0 [
file
] [
log
] [
blame
]
#Tue Oct 11 12:03:39 EDT 2005
eclipse
.
preferences
.
version
=
1
internal
.
default
.
compliance
=
user
org
.
eclipse
.
jdt
.
ui
.
ignorelowercasenames
=
true
org
.
eclipse
.
jdt
.
ui
.
importorder
=
junit
;
org
.
eclipse
.
jdt
.
ui
.
ondemandthreshold
=
99