Google Git
Sign in
eclipse / graphiti / org.eclipse.graphiti / refs/tags/v0.11.0 / . / plugins / org.eclipse.graphiti.export.batik / .settings / org.eclipse.jdt.launching.prefs
blob: 27b9296ca419c0316b0e89085314100f6afb9576 [file] [log] [blame]
#Wed Nov 09 14:41:53 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error