Google Git
Sign in
eclipse / gerrit / platform / eclipse.platform.team / 790652f8bd1c247f29872621ca43f5b825104677 / . / bundles / org.eclipse.compare.core / .settings / org.eclipse.jdt.launching.prefs
blob: 58060f576d6f53f32a48ea3f7323e6f9ece4c595 [file] [log] [blame]
#Tue Feb 01 14:35:28 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error