Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2008-10-07 10:47:00 +0000
committerDani Megert2008-10-07 10:47:00 +0000
commit0109d6b435d73ac880ca6b308f62afb467083a9a (patch)
treed6196eb55597120f4e904885b1ff071e7aca1da5 /org.eclipse.ui.workbench.texteditor/.settings
parenta56ba875a479e3558771daafc39efe9d08279c0c (diff)
downloadeclipse.platform.text-0109d6b435d73ac880ca6b308f62afb467083a9a.tar.gz
eclipse.platform.text-0109d6b435d73ac880ca6b308f62afb467083a9a.tar.xz
eclipse.platform.text-0109d6b435d73ac880ca6b308f62afb467083a9a.zip
Set not strictly matching JRE problem severity to 'error'.
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/.settings')
-rw-r--r--org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.launching.prefs3
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.launching.prefs
new file mode 100644
index 00000000000..94270121bcb
--- /dev/null
+++ b/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.launching.prefs
@@ -0,0 +1,3 @@
+#Tue Oct 07 11:36:59 CEST 2008
+eclipse.preferences.version=1
+org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error

Back to the top