Google Git
Sign in
eclipse / gerrit / platform / eclipse.platform.debug / af4fd273d4cb5ebc51746dbea93b3b9aceb46c9f / . / org.eclipse.debug.core / .settings / org.eclipse.jdt.launching.prefs
blob: ce641cd814ae0916428c940682fe2aa8c39801c4 [file] [log] [blame]
#Wed Feb 02 16:46:33 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error