Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 2d6f1a943d3c0373855bc148a3f1a8af28e305c9 / . / plugins / org.eclipse.graphiti / .settings / org.eclipse.jdt.launching.prefs
blob: 8b7e88ce2899d98f25541f43157c186c502f644b [file] [log] [blame]
#Wed Nov 09 14:32:40 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error