Google Git
Sign in
eclipse / graphiti / org.eclipse.graphiti / 0cd6e04f900af235ad95c856b27aaac7eaa2a29b / . / plugins / org.eclipse.graphiti.tools.newprojectwizard / .settings / org.eclipse.jdt.launching.prefs
blob: 75807f199d2cbb902371bc00f7969eb7e0c44d3b [file] [log] [blame]
#Wed Nov 09 14:32:40 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error