Sign in
eclipse
/
gerrit
/
emf-parsley
/
org.eclipse.emf-parsley
/
d9e5550f3b8fafd33e012de95573a09e6e5bb386
/
.
/
plugins
/
org.eclipse.emf.parsley.runtime
/
.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