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

blob: 1480a2bf2b2f546a2ab47192286ae309c752d71e (plain) (blame)

1
2
3

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

Back to the top