diff options
| author | Darin Swanson | 2003-02-03 23:34:03 +0000 |
|---|---|---|
| committer | Darin Swanson | 2003-02-03 23:34:03 +0000 |
| commit | d6f9490369a374ac369aa5ec1291a2f97a25f4ca (patch) | |
| tree | 8e6fcb4f7be1d95385252b18b226594f1a4a69c3 /org.eclipse.ui.externaltools/plugin.xml | |
| parent | 2a929767fb8c50182279c65f1fb8796bc63e17d5 (diff) | |
| download | eclipse.platform.debug-d6f9490369a374ac369aa5ec1291a2f97a25f4ca.tar.gz eclipse.platform.debug-d6f9490369a374ac369aa5ec1291a2f97a25f4ca.tar.xz eclipse.platform.debug-d6f9490369a374ac369aa5ec1291a2f97a25f4ca.zip | |
Bug 29828 - Too many preference pages
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.xml b/org.eclipse.ui.externaltools/plugin.xml index 5ceab65bf..ede9bb4f5 100644 --- a/org.eclipse.ui.externaltools/plugin.xml +++ b/org.eclipse.ui.externaltools/plugin.xml @@ -166,18 +166,6 @@ class="org.eclipse.ui.externaltools.internal.ant.preferences.AntRuntimePreferencePage" category="org.eclipse.ui.externaltools.AntPreferencePage"> </page> - <page - id="org.eclipse.ui.externaltools.AntConsolePreferencePage" - name="%PreferencePage.antConsolePreferences" - class="org.eclipse.ui.externaltools.internal.ant.preferences.AntConsolePreferencePage" - category="org.eclipse.ui.externaltools.AntPreferencePage"> - </page> - <page - id="org.eclipse.ui.externaltools.internal.ant.editor.internal.ColoringPreferencePage" - name="%PreferencePage.antEditor" - class="org.eclipse.ui.externaltools.internal.ant.editor.text.PlantyPreferencePage" - category="org.eclipse.ui.externaltools.AntPreferencePage"> - </page> </extension> <extension point="org.eclipse.ui.popupMenus"> |