diff options
16 files changed, 0 insertions, 48 deletions
diff --git a/org.eclipse.jdt.annotation/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.annotation/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 2dcd706126..0000000000 --- a/org.eclipse.jdt.annotation/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 11:25:08 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.annotation_v1/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.annotation_v1/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 2dcd706126..0000000000 --- a/org.eclipse.jdt.annotation_v1/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 11:25:08 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.apt.core/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.apt.core/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index bb80654286..0000000000 --- a/org.eclipse.jdt.apt.core/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:04:31 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.apt.pluggable.core/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.apt.pluggable.core/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 94510ebb28..0000000000 --- a/org.eclipse.jdt.apt.pluggable.core/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:04:22 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.apt.pluggable.tests/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.apt.pluggable.tests/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 016b3335fc..0000000000 --- a/org.eclipse.jdt.apt.pluggable.tests/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:04:13 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.apt.tests/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.apt.tests/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index aea089a57f..0000000000 --- a/org.eclipse.jdt.apt.tests/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:04:03 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 97e8cb55cd..0000000000 --- a/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:03:56 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.compiler.apt.tests/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.compiler.apt.tests/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index a08972a648..0000000000 --- a/org.eclipse.jdt.compiler.apt.tests/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:03:38 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.compiler.apt/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.compiler.apt/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 1480a2bf2b..0000000000 --- a/org.eclipse.jdt.compiler.apt/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:03:47 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.compiler.tool.tests/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.compiler.tool.tests/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 3d4578a287..0000000000 --- a/org.eclipse.jdt.compiler.tool.tests/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:02:45 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.compiler.tool/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.compiler.tool/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 207ae745a3..0000000000 --- a/org.eclipse.jdt.compiler.tool/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 11:55:16 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.core.tests.builder/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.core.tests.builder/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 4a08538398..0000000000 --- a/org.eclipse.jdt.core.tests.builder/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:02:55 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.core.tests.compiler/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.core.tests.compiler/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index ec7b08062e..0000000000 --- a/org.eclipse.jdt.core.tests.compiler/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:03:05 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.core.tests.model/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.core.tests.model/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 970f36e72c..0000000000 --- a/org.eclipse.jdt.core.tests.model/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:03:12 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.core.tests.performance/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.core.tests.performance/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 7f2db2005e..0000000000 --- a/org.eclipse.jdt.core.tests.performance/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 12:03:19 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error diff --git a/org.eclipse.jdt.core/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.core/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 2dcd706126..0000000000 --- a/org.eclipse.jdt.core/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Wed Feb 02 11:25:08 EST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error |