org.eclipse.jdt.launching.prefs « .settings « org.eclipse.jdt.compiler.tool - 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.compiler.tool/.settings/org.eclipse.jdt.launching.prefs

blob: 207ae745a304826ff52feeedba9f2040cfd3a06c (plain) (blame)

1
2
3

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

Back to the top