From 8a621d47bbd565c078c42c7a3d03b151720075c2 Mon Sep 17 00:00:00 2001
From: Dani Megert
Date: Fri, 3 Sep 2004 08:43:57 +0000
Subject: Set "Incompatible .class files version in required binaries" to
 ignore (see bug 73036)

---
 .../.settings/org.eclipse.jdt.core.prefs                                | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'org.eclipse.ui.workbench.texteditor.tests/.settings')

diff --git a/org.eclipse.ui.workbench.texteditor.tests/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.ui.workbench.texteditor.tests/.settings/org.eclipse.jdt.core.prefs
index 11e1dad272f..5d36ca685fb 100644
--- a/org.eclipse.ui.workbench.texteditor.tests/.settings/org.eclipse.jdt.core.prefs
+++ b/org.eclipse.ui.workbench.texteditor.tests/.settings/org.eclipse.jdt.core.prefs
@@ -41,7 +41,7 @@ org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsVisibility=private
 org.eclipse.jdt.core.compiler.problem.localVariableHiding=warning
 org.eclipse.jdt.core.compiler.problem.overridingPackageDefaultMethod=error
 org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=disabled
-org.eclipse.jdt.core.incompatibleJDKLevel=warning
+org.eclipse.jdt.core.incompatibleJDKLevel=ignore
 eclipse.preferences.version=1
 org.eclipse.jdt.core.circularClasspath=error
 org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsOverriding=enabled
-- 
cgit v1.2.3