diff options
| author | Stefan Xenos | 2016-04-18 16:31:13 +0000 |
|---|---|---|
| committer | Stefan Xenos | 2016-04-18 16:31:13 +0000 |
| commit | ddea3b8e87737dbf830ccde4162c0e0eee12646c (patch) | |
| tree | b96416f180bf28587adc8c75fe3a6fbc71119e84 | |
| parent | ed43123930111620ff1498ba897fb0cc67219f72 (diff) | |
| download | eclipse.platform-ddea3b8e87737dbf830ccde4162c0e0eee12646c.tar.gz eclipse.platform-ddea3b8e87737dbf830ccde4162c0e0eee12646c.tar.xz eclipse.platform-ddea3b8e87737dbf830ccde4162c0e0eee12646c.zip | |
Bug 490012 - Remove the "strictly compatible JRE" per-project override from all projects in the Eclipse SDKI20160419-0800
Change-Id: I3af345ff196fdb8e460ca00a3bcf93df4cf747c1
Signed-off-by: Stefan Xenos <sxenos@gmail.com>
5 files changed, 0 insertions, 15 deletions
diff --git a/ant/org.eclipse.ant.core/.settings/org.eclipse.jdt.launching.prefs b/ant/org.eclipse.ant.core/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 22e2dfda5..000000000 --- a/ant/org.eclipse.ant.core/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Jul 27 08:57:07 CDT 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/ant/org.eclipse.ant.launching/.settings/org.eclipse.jdt.launching.prefs b/ant/org.eclipse.ant.launching/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index bf7ce0cf0..000000000 --- a/ant/org.eclipse.ant.launching/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Jul 27 08:57:17 CDT 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/ant/org.eclipse.ant.tests.core/.settings/org.eclipse.jdt.launching.prefs b/ant/org.eclipse.ant.tests.core/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 10d4c53a4..000000000 --- a/ant/org.eclipse.ant.tests.core/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Jul 27 08:57:39 CDT 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/ant/org.eclipse.ant.tests.ui/.settings/org.eclipse.jdt.launching.prefs b/ant/org.eclipse.ant.tests.ui/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 3df510f5b..000000000 --- a/ant/org.eclipse.ant.tests.ui/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Jul 27 08:57:45 CDT 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/ant/org.eclipse.ant.ui/.settings/org.eclipse.jdt.launching.prefs b/ant/org.eclipse.ant.ui/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 895568638..000000000 --- a/ant/org.eclipse.ant.ui/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Jul 27 08:57:53 CDT 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error |