diff options
| author | Jared Burns | 2002-11-28 23:42:45 +0000 |
|---|---|---|
| committer | Jared Burns | 2002-11-28 23:42:45 +0000 |
| commit | bdeb87693db2aa1d3496b4bbec077e24c15fcbaf (patch) | |
| tree | 3ed773e47ab7ee806f095dd365f258f9c3a3523d /org.eclipse.ui.externaltools/plugin.properties | |
| parent | 82401c0a0cdb8515c7a2b0baea7f237c1524740a (diff) | |
| download | eclipse.platform.debug-bdeb87693db2aa1d3496b4bbec077e24c15fcbaf.tar.gz eclipse.platform.debug-bdeb87693db2aa1d3496b4bbec077e24c15fcbaf.tar.xz eclipse.platform.debug-bdeb87693db2aa1d3496b4bbec077e24c15fcbaf.zip | |
Bug 27345 - "Don't ask again" preference when migrating external tool builders
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.properties')
| -rw-r--r-- | org.eclipse.ui.externaltools/plugin.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.properties b/org.eclipse.ui.externaltools/plugin.properties index 47b2231af..967c2a69d 100644 --- a/org.eclipse.ui.externaltools/plugin.properties +++ b/org.eclipse.ui.externaltools/plugin.properties @@ -29,6 +29,7 @@ Builder.externalTools = Integrated External Tool Builder View.externalToolView = External Tools View.logConsole = Log Console View.antView = Ant View +PreferencePage.externalToolsPreferences = External Tools PreferencePage.antPreferences = Ant PreferencePage.antConsolePreferences = Console PopupMenu.runAnt = Run &Ant |