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