Google Git
Sign in
eclipse / platform / eclipse.platform / ed43123930111620ff1498ba897fb0cc67219f72 / . / ant / org.eclipse.ant.launching / .settings / org.eclipse.jdt.launching.prefs
blob: bf7ce0cf066812aaee88a124661a1b24382e98e2 [file] [log] [blame]
#Wed Jul 27 08:57:17 CDT 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error