From 4c8d2b6ded252c54eb407b37bb131fba4c17393c Mon Sep 17 00:00:00 2001 From: Hiroshi Nakamura Date: Sun, 15 Jul 2012 07:05:14 +0900 Subject: [PATCH] Update Eclipse classpath settings For jline. --- .classpath | 11 ++--------- .settings/org.eclipse.jdt.launching.prefs | 2 +- 2 files changed, 3 insertions(+), 10 deletions(-) diff --git a/.classpath b/.classpath index c9a462de19e..a17f3dd83c4 100644 --- a/.classpath +++ b/.classpath @@ -3,16 +3,7 @@ - - - - - - - - - @@ -44,5 +35,7 @@ + + diff --git a/.settings/org.eclipse.jdt.launching.prefs b/.settings/org.eclipse.jdt.launching.prefs index 5d77195a39c..d211d326335 100644 --- a/.settings/org.eclipse.jdt.launching.prefs +++ b/.settings/org.eclipse.jdt.launching.prefs @@ -1,2 +1,2 @@ -#Wed Jan 20 17:53:12 CET 2010 eclipse.preferences.version=1 +org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning