Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 429552ac5f5931b122c4cfbd53c09499c025f4e4 / . / examples / org.eclipse.graphiti.doc / .settings / org.eclipse.jdt.launching.prefs
blob: fafbee96b351334c54303cc0577782555ebdcb81 [file] [log] [blame]
#Wed Nov 09 14:41:14 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error