diff options
author | Lars Vogel | 2020-09-29 08:31:23 +0000 |
---|---|---|
committer | Lars Vogel | 2020-11-04 14:50:52 +0000 |
commit | 96ed04c64d542a0c16496b03ae57c716bc140434 (patch) | |
tree | a1fa7f9838e8908444dc4adb24acc1381b95f92d /org.eclipse.ui.externaltools/plugin.xml | |
parent | 4dfe4721068594609b70c186360ec8e86ceec2ef (diff) | |
download | eclipse.platform.debug-96ed04c64d542a0c16496b03ae57c716bc140434.tar.gz eclipse.platform.debug-96ed04c64d542a0c16496b03ae57c716bc140434.tar.xz eclipse.platform.debug-96ed04c64d542a0c16496b03ae57c716bc140434.zip |
Bug 567432 - Remove external tools migration code from 2004Y20201104-1200I20201104-1800
Change-Id: Ia033d9a6a6256bb50f33cccddb69a054b4c2da6c
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.xml')
-rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.xml b/org.eclipse.ui.externaltools/plugin.xml index 3800d0d63..1809465e3 100644 --- a/org.eclipse.ui.externaltools/plugin.xml +++ b/org.eclipse.ui.externaltools/plugin.xml @@ -78,15 +78,6 @@ </command> </extension> <extension - point="org.eclipse.ui.preferencePages"> - <page - name="%PreferencePage.externalToolsPreferences" - category="org.eclipse.debug.ui.DebugPreferencePage" - class="org.eclipse.ui.externaltools.internal.ui.ExternalToolsPreferencePage" - id="org.eclipse.ui.externaltools.ExternalToolsPreferencePage"> - </page> - </extension> - <extension point="org.eclipse.ui.propertyPages"> <page name="%PropertyPage.externalToolsBuilders" @@ -198,9 +189,5 @@ id="org.eclipse.ui.externaltools.workingSetComparator"> </launchConfigurationComparator> </extension> - - <extension point="org.eclipse.core.runtime.preferences"> - <initializer class="org.eclipse.ui.externaltools.internal.model.ExternalToolsPreferenceInitializer"/> - </extension> </plugin> |