Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / e7a69132b98828b2d44e3e55dcb49c71f6e04a38 / . / examples / org.eclipse.graphiti.examples.filesystem.mm / .settings / org.eclipse.jdt.launching.prefs
blob: 68c24797652526f1912dc4dc4845f31408cf0496 [file] [log] [blame]
#Wed Nov 09 14:43:05 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error