Google Git
Sign in
eclipse / gerrit / platform / eclipse.platform.team / d657bf7275518f5cf2c295a03ed1d97bc871602e / . / bundles / org.eclipse.team.cvs.ssh / .settings / org.eclipse.jdt.launching.prefs
blob: 07990c2e3501a4fb10d2fbf0446b2e542f5a6754 [file] [log] [blame]
#Tue Feb 01 14:42:43 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error