Google Git
Sign in
eclipse / platform / eclipse.platform.team / 790652f8bd1c247f29872621ca43f5b825104677 / . / bundles / org.eclipse.compare.win32 / .settings / org.eclipse.jdt.launching.prefs
blob: 44fca4e83d0e41cb774d8afdac7eeeec3b27b19f [file] [log] [blame]
#Tue Feb 01 14:37:12 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error