org.eclipse.jdt.launching.prefs « .settings « org.eclipse.core.filebuffers - eclipse.platform.text.git - Eclipse Platform Text

index : eclipse.platform.text.git

Eclipse Platform Text

root

summary refs log tree commit diff stats

path: root/org.eclipse.core.filebuffers/.settings/org.eclipse.jdt.launching.prefs

blob: 94270121bcb07f7f4f28e303cde98ef35568e1b7 (plain) (blame)

1
2
3

#Tue Oct 07 11:36:59 CEST 2008
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error

Back to the top