Sign in
eclipse
/
gerrit
/
cdo
/
cdo
/
49be6aed097552f54b7ce8df4a4837310d8c1757
/
.
/
plugins
/
org.eclipse.net4j.trace
/
.settings
/
org.eclipse.jdt.launching.prefs
blob: d177941eee4709ec3695ec9b9b48478647cd775b [
file
] [
log
] [
blame
]
eclipse
.
preferences
.
version
=
1
org
.
eclipse
.
jdt
.
launching
.
PREF_COMPILER_COMPLIANCE_DOES_NOT_MATCH_JRE
=
ignore
org
.
eclipse
.
jdt
.
launching
.
PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE
=
ignore