org.eclipse.jdt.launching.prefs « .settings « org.eclipse.team.core « bundles - eclipse.platform.team.git - Eclipse Platform Team

index : eclipse.platform.team.git

Eclipse Platform Team

root

about summary refs log tree commit diff stats

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

blob: cc86bca8e90a78432f690b35f349c911b0c3b612 (plain) (blame)

1
2
3

#Tue Feb 01 14:42:20 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error

Back to the top