diff options
author | Reinier Zwitserloot <reinier@tipit.to> | 2009-12-12 14:21:45 +0100 |
---|---|---|
committer | Reinier Zwitserloot <reinier@tipit.to> | 2009-12-12 14:28:12 +0100 |
commit | a2bc25c39aaeb299014b68cacd6e66b7fe64a9ab (patch) | |
tree | 353ba39da7b7102fbae77db8298840a7354fc629 /.settings/org.eclipse.jdt.launching.prefs | |
parent | 1815a7828e425549a7ace95005f8507ef50ed8cb (diff) | |
download | lombok-a2bc25c39aaeb299014b68cacd6e66b7fe64a9ab.tar.gz lombok-a2bc25c39aaeb299014b68cacd6e66b7fe64a9ab.tar.bz2 lombok-a2bc25c39aaeb299014b68cacd6e66b7fe64a9ab.zip |
eclipse project now explicitly defines target JVM as 1.6. Technically it's a mix of 1.5 and 1.6, but that is not expressible in eclipse .classpath files.
Updated eclipse project settings to be more specific (less 'workspace default').
Diffstat (limited to '.settings/org.eclipse.jdt.launching.prefs')
-rw-r--r-- | .settings/org.eclipse.jdt.launching.prefs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.settings/org.eclipse.jdt.launching.prefs b/.settings/org.eclipse.jdt.launching.prefs new file mode 100644 index 00000000..9d56586e --- /dev/null +++ b/.settings/org.eclipse.jdt.launching.prefs @@ -0,0 +1,3 @@ +#Sat Dec 12 13:38:59 CET 2009 +eclipse.preferences.version=1 +org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning |