Sign in
eclipse
/
gerrit
/
emf-parsley
/
org.eclipse.emf-parsley
/
refs/tags/v1.4.0.v20180919-1514
/
.
/
doc
/
org.eclipse.emf.parsley.doc.websitegen
/
.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
