Google Git
Sign in
eclipse/platform/eclipse.platform.text/e4fe8981dba35660f2dbdea74a5f26b930b5cefe/./org.eclipse.ui.examples.javaeditor/.settings/org.eclipse.jdt.launching.prefs
blob: 94270121bcb07f7f4f28e303cde98ef35568e1b7 [file]
#Tue Oct 07 11:36:59 CEST 2008
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error