org.eclipse.jdt.launching.prefs « .settings « org.eclipse.jdt.core.tests.builder - eclipse.jdt.core.git - Eclipse JDT Core - This repo has been moved to https://github.com/eclipse-jdt/eclipse.jdt.core

index : eclipse.jdt.core.git

Eclipse JDT Core - This repo has been moved to https://github.com/eclipse-jdt/eclipse.jdt.core

root

about summary refs log tree commit diff stats

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

blob: 4a08538398bfb0e16dc3e5185aaed320353fed5c (plain) (blame)

1
2
3

#Wed Feb 02 12:02:55 EST 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error

Back to the top