Google Git
Sign in
eclipse / platform / eclipse.platform.team / 92faeacdde13313fa8407d7247cf189833f77f65 / . / tests / org.eclipse.team.tests.core / .settings / org.eclipse.jdt.launching.prefs
blob: 35e4dbcb7b83b84d6c06c35070a5118f6e70de55 [file] [log] [blame]
#Tue Feb 01 14:43:20 CET 2011
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error