From c76af3c65cbff534721df0ddfafddeb5b564c597 Mon Sep 17 00:00:00 2001 From: Lars Vogel Date: Tue, 3 May 2016 11:45:53 +0200 Subject: Bug 492875 - Remove the "strictly compatible JRE" per-project override in eclipse.platform.ui project Change-Id: Ifd4b4399d620c32f3ca9e52627f7b940c58557e8 Signed-off-by: Lars Vogel --- .../.settings/org.eclipse.jdt.launching.prefs | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 org.eclipse.ui.workbench.texteditor.tests/.settings/org.eclipse.jdt.launching.prefs (limited to 'org.eclipse.ui.workbench.texteditor.tests/.settings') diff --git a/org.eclipse.ui.workbench.texteditor.tests/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.ui.workbench.texteditor.tests/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a8..00000000000 --- a/org.eclipse.ui.workbench.texteditor.tests/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,2 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error -- cgit v1.2.3