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

index : eclipse.platform.text.git

Eclipse Platform Text

root

about summary refs log tree commit diff stats

path: root/org.eclipse.search/.settings/org.eclipse.jdt.launching.prefs

blob: a5ee5cd1aa77493c97bb68c38e2ed211c6418d94 (plain) (blame)

1
2
3

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

Back to the top