diff options
author | Lars Vogel | 2016-05-03 09:47:50 +0000 |
---|---|---|
committer | Lars Vogel | 2016-05-03 09:47:50 +0000 |
commit | b8846e02296d62fe9274cb3b9debea19431a90fc (patch) | |
tree | 358330d1c1088aba058aa97e9d67c66e451952a1 | |
parent | dd57eda5ab2aff8d2cec44dba03f91c595d5703a (diff) | |
download | eclipse.platform.ui.tools-b8846e02296d62fe9274cb3b9debea19431a90fc.tar.gz eclipse.platform.ui.tools-b8846e02296d62fe9274cb3b9debea19431a90fc.tar.xz eclipse.platform.ui.tools-b8846e02296d62fe9274cb3b9debea19431a90fc.zip |
Bug 492875 - Remove the "strictly compatible JRE" per-project overrideY20160526-1000Y20160519-1000Y20160513-1000Y20160505-1000R4_6I20160606-1100I20160603-1000I20160602-1000I20160601-2000I20160601-1000I20160531-2330I20160531-2000I20160530-2000I20160529-2000I20160528-1500I20160527-2000I20160525-2000I20160524-2000I20160523-2000I20160522-2000I20160521-1500I20160520-2000I20160519-1730I20160519-1100I20160518-2000I20160517-2000I20160516-2000I20160515-2000I20160514-1500I20160513-2000I20160512-1000I20160511-2000I20160511-0400I20160510-2000I20160509-2000I20160508-2000I20160507-1500I20160506-2000I20160506-1030I20160506-0830I20160505-2000I20160504-2000I20160504-0035I20160503-2000
in eclipse.platform.ui project
Change-Id: I750fb793a67c53cf1295ef4902f0290754dc99aa
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
7 files changed, 0 insertions, 14 deletions
diff --git a/bundles/org.eclipse.e4.tools.compat/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.e4.tools.compat/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 3bb23527..00000000 --- a/bundles/org.eclipse.e4.tools.compat/.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=ignore diff --git a/bundles/org.eclipse.e4.tools.emf.editor3x/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.e4.tools.emf.editor3x/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 3bb23527..00000000 --- a/bundles/org.eclipse.e4.tools.emf.editor3x/.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=ignore diff --git a/bundles/org.eclipse.e4.tools.emf.ui/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.e4.tools.emf.ui/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 3bb23527..00000000 --- a/bundles/org.eclipse.e4.tools.emf.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=ignore diff --git a/bundles/org.eclipse.e4.tools.jdt.templates/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.e4.tools.jdt.templates/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 3bb23527..00000000 --- a/bundles/org.eclipse.e4.tools.jdt.templates/.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=ignore diff --git a/bundles/org.eclipse.e4.tools.services/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.e4.tools.services/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 3bb23527..00000000 --- a/bundles/org.eclipse.e4.tools.services/.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=ignore diff --git a/bundles/org.eclipse.e4.tools/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.e4.tools/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 3bb23527..00000000 --- a/bundles/org.eclipse.e4.tools/.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=ignore diff --git a/tests/org.eclipse.e4.tools.test/.settings/org.eclipse.jdt.launching.prefs b/tests/org.eclipse.e4.tools.test/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 3bb23527..00000000 --- a/tests/org.eclipse.e4.tools.test/.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=ignore |