Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichael Rennie2011-07-26 16:50:01 +0000
committerMichael Rennie2011-07-26 16:50:01 +0000
commitd9a41434647a943473e208f03489a551681e4754 (patch)
treea2a2c6c7be15d924feadb226b36fbd29302833d9 /org.eclipse.ui.externaltools/.settings
parent1ef6fd07710d5982735dfe825122adea3b71d7ba (diff)
downloadeclipse.platform.debug-d9a41434647a943473e208f03489a551681e4754.tar.gz
eclipse.platform.debug-d9a41434647a943473e208f03489a551681e4754.tar.xz
eclipse.platform.debug-d9a41434647a943473e208f03489a551681e4754.zip
[nobug] update the builder settings to make the 'no matching JRE - EE' setting a warning instead of an error
Diffstat (limited to 'org.eclipse.ui.externaltools/.settings')
-rw-r--r--org.eclipse.ui.externaltools/.settings/org.eclipse.jdt.launching.prefs4
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.externaltools/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.ui.externaltools/.settings/org.eclipse.jdt.launching.prefs
index 5ee1bba3f..e057edcd1 100644
--- a/org.eclipse.ui.externaltools/.settings/org.eclipse.jdt.launching.prefs
+++ b/org.eclipse.ui.externaltools/.settings/org.eclipse.jdt.launching.prefs
@@ -1,3 +1,3 @@
-#Wed Feb 02 09:42:25 CST 2011
+#Tue Jul 26 11:43:19 CDT 2011
eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
+org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning

Back to the top