Google Git
Sign in
eclipse / platform / eclipse.platform.team / 790652f8bd1c247f29872621ca43f5b825104677 / . / bundles / org.eclipse.ui.net / .settings / org.eclipse.jdt.launching.prefs
blob: 69557b7329ffb648129c72957d400fa76a3aefb5 [file] [log] [blame]
#Tue Feb 01 14:41:02 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error