Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 2d6f1a943d3c0373855bc148a3f1a8af28e305c9 / . / plugins / org.eclipse.graphiti.export.batik / .settings / org.eclipse.jdt.launching.prefs
blob: 47656d42d05951075b38734fb731fd977671756f [file] [log] [blame]
#Wed Nov 09 14:41:53 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error