org.eclipse.jdt.launching.prefs « .settings - github/lombok.git - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff

path: root/.settings/org.eclipse.jdt.launching.prefs

blob: 9d56586eb2642d3b7b03b92d723b3118be0a48ce (plain)

1
2
3

#Sat Dec 12 13:38:59 CET 2009
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning