Sign in
eclipse
/
gerrit
/
cdo
/
cdo
/
461707928738a66d18d90718f517d363aee98c38
/
.
/
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