From 71933e44e70b0f585ef0f82c881562228c5ffeba Mon Sep 17 00:00:00 2001 From: Michael Scharf Date: Fri, 20 Jun 2008 21:59:24 +0000 Subject: [PATCH] bug 237425: undefined tm.terminal command https://bugs.eclipse.org/bugs/show_bug.cgi?id=237425 --- terminal/org.eclipse.tm.terminal/plugin.xml | 61 +-------------------- 1 file changed, 1 insertion(+), 60 deletions(-) diff --git a/terminal/org.eclipse.tm.terminal/plugin.xml b/terminal/org.eclipse.tm.terminal/plugin.xml index 853af8e9ef3..aae86a7c5c7 100644 --- a/terminal/org.eclipse.tm.terminal/plugin.xml +++ b/terminal/org.eclipse.tm.terminal/plugin.xml @@ -10,6 +10,7 @@ # Contributors: # Michael Scharf (Wind River) - initial API and implementation # Martin Oberhuber (Wind River) - fixed copyright headers and beautified +# Michael Scharf (Wind River) - [237425] undefined tm.terminal command --> @@ -20,64 +21,4 @@ id="org.eclipse.tm.terminal.TerminalContext" /> - - - - - - - - - - - - -