diff options
Diffstat (limited to 'org.eclipse.ui.console/plugin.properties')
| -rw-r--r-- | org.eclipse.ui.console/plugin.properties | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/org.eclipse.ui.console/plugin.properties b/org.eclipse.ui.console/plugin.properties index 1301fab35..fe5fdb263 100644 --- a/org.eclipse.ui.console/plugin.properties +++ b/org.eclipse.ui.console/plugin.properties @@ -13,9 +13,6 @@ pluginName=Console providerName=Eclipse.org ConsoleView.name=Console -ViewCommand.consoleView.name=Console -ViewCommand.consoleView.description=Show the Console view - ConsolePatternMatchListenerName= Console Pattern Match Listeners ConsolePageParticipantName= Console Page Participants |