Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'bundles')
-rw-r--r--bundles/org.eclipse.compare.core/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.compare/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.core.net/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.core/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.cvs.core/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.cvs.ssh2/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.cvs.ui/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.team.releng/platformTeam.setup54
-rw-r--r--bundles/org.eclipse.team.ui/.settings/org.eclipse.jdt.launching.prefs3
-rw-r--r--bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs3
11 files changed, 1 insertions, 83 deletions
diff --git a/bundles/org.eclipse.compare.core/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.compare.core/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 58060f576..000000000
--- a/bundles/org.eclipse.compare.core/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:35:28 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 44fca4e83..000000000
--- a/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:37:12 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.compare/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.compare/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 6e0451f97..000000000
--- a/bundles/org.eclipse.compare/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:33:15 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.core.net/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.core.net/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 375d810f8..000000000
--- a/bundles/org.eclipse.core.net/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:40:09 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.core/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.core/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index cc86bca8e..000000000
--- a/bundles/org.eclipse.team.core/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:42:20 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.cvs.core/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.cvs.core/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 2bc854e5e..000000000
--- a/bundles/org.eclipse.team.cvs.core/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:42:32 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.cvs.ssh2/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.cvs.ssh2/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 73a68d372..000000000
--- a/bundles/org.eclipse.team.cvs.ssh2/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:42:51 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.cvs.ui/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.cvs.ui/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index b70b14856..000000000
--- a/bundles/org.eclipse.team.cvs.ui/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:43:01 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.team.releng/platformTeam.setup b/bundles/org.eclipse.team.releng/platformTeam.setup
index af457cca7..c4e7baeb3 100644
--- a/bundles/org.eclipse.team.releng/platformTeam.setup
+++ b/bundles/org.eclipse.team.releng/platformTeam.setup
@@ -40,58 +40,6 @@
<description>Platform Team</description>
</setupTask>
<setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.compare/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.compare.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.compare.win32/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.core.net/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.cvs.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.cvs.ssh2/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.cvs.ui/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.ui/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.ui.net/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.core.tests.net/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.tests.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
- xsi:type="setup:PreferenceTask"
- key="/project/org.eclipse.team.tests.cvs.core/org.eclipse.jdt.launching/org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE"
- value="warning"/>
- <setupTask
xsi:type="setup.targlets:TargletTask">
<targlet
name="Platform Team"
@@ -114,7 +62,7 @@
project="org.eclipse.team.core"/>
<operand
xsi:type="workingsets:ExclusionPredicate"
- excludedWorkingSet="//@setupTasks.16/@workingSets.1 //@setupTasks.16/@workingSets.2"/>
+ excludedWorkingSet="//@setupTasks.3/@workingSets.1 //@setupTasks.3/@workingSets.2"/>
</predicate>
</workingSet>
<workingSet
diff --git a/bundles/org.eclipse.team.ui/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.team.ui/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 0c7298f54..000000000
--- a/bundles/org.eclipse.team.ui/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:43:34 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error
diff --git a/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs
deleted file mode 100644
index 69557b732..000000000
--- a/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Feb 01 14:41:02 CET 2011
-eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error

Back to the top