Google Git
Sign in
eclipse / graphiti / org.eclipse.graphiti / ff0e6306d6f352c4d0a6fd4fa5bef0c17b30dda5 / . / examples / org.eclipse.graphiti.examples.composite / .settings / org.eclipse.jdt.launching.prefs
blob: 8d6b5b5500018de3a48b2820a6649e6e6be44c11 [file] [log] [blame]
#Wed Nov 09 14:43:18 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error