diff options
author | Stefan Xenos | 2016-04-18 14:04:57 +0000 |
---|---|---|
committer | Noopur Gupta | 2016-04-19 07:05:20 +0000 |
commit | 281d688ca74b83e8bfb1e1e0d24dddf85156506c (patch) | |
tree | c3ae7bdc82022c4dbb5ac0cf6f184f72674ecd24 | |
parent | 8e8ad5a0d42b820224475778ac5d9ac8ae4c53b6 (diff) | |
download | eclipse.jdt.ui-281d688ca74b83e8bfb1e1e0d24dddf85156506c.tar.gz eclipse.jdt.ui-281d688ca74b83e8bfb1e1e0d24dddf85156506c.tar.xz eclipse.jdt.ui-281d688ca74b83e8bfb1e1e0d24dddf85156506c.zip |
Bug 490012 - Remove the "strictly compatible JRE" per-project override from all projects in the Eclipse SDKI20160419-0800
Change-Id: I9b8c6b216704c117cee04b9f456ec62a2c76a40f
Signed-off-by: Stefan Xenos <sxenos@gmail.com>
17 files changed, 0 insertions, 36 deletions
diff --git a/org.eclipse.jdt.astview/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.astview/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.astview/.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 diff --git a/org.eclipse.jdt.core.manipulation/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.core.manipulation/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.core.manipulation/.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 diff --git a/org.eclipse.jdt.jeview/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.jeview/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.jeview/.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 diff --git a/org.eclipse.jdt.junit.core/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.junit.core/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.junit.core/.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 diff --git a/org.eclipse.jdt.junit.runtime/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.junit.runtime/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.junit.runtime/.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 diff --git a/org.eclipse.jdt.junit/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.junit/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.junit/.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 diff --git a/org.eclipse.jdt.junit4.runtime/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.junit4.runtime/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.junit4.runtime/.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 diff --git a/org.eclipse.jdt.text.tests/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.text.tests/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.text.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 diff --git a/org.eclipse.jdt.ui.examples.javafamily/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.ui.examples.javafamily/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index a5ee5cd1aa..0000000000 --- a/org.eclipse.jdt.ui.examples.javafamily/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Tue Oct 07 11:47:24 CEST 2008 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.ui.examples.projects/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.ui.examples.projects/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index a5ee5cd1aa..0000000000 --- a/org.eclipse.jdt.ui.examples.projects/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Tue Oct 07 11:47:24 CEST 2008 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.ui.tests.refactoring/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.ui.tests.refactoring/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.ui.tests.refactoring/.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 diff --git a/org.eclipse.jdt.ui.tests/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.ui.tests/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.ui.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 diff --git a/org.eclipse.jdt.ui/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.ui/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.jdt.ui/.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 diff --git a/org.eclipse.ltk.core.refactoring.tests/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.ltk.core.refactoring.tests/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.ltk.core.refactoring.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 diff --git a/org.eclipse.ltk.core.refactoring/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.ltk.core.refactoring/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.ltk.core.refactoring/.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 diff --git a/org.eclipse.ltk.ui.refactoring.tests/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.ltk.ui.refactoring.tests/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.ltk.ui.refactoring.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 diff --git a/org.eclipse.ltk.ui.refactoring/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.ltk.ui.refactoring/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index b2e4c4922a..0000000000 --- a/org.eclipse.ltk.ui.refactoring/.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 |