Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 213fbc7d85f391f58aa7dfc897bdf42026a5f7a7 / . / plugins / org.eclipse.graphiti.pattern / .settings / org.eclipse.jdt.launching.prefs
blob: f9f32a950c9f62f6b856cc1d5c5ff4a0805480a7 [file] [log] [blame]
#Wed Nov 09 14:42:20 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error