diff options
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.console/plugin.xml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml index 091344eb7..ca30ab1f9 100644 --- a/org.eclipse.ui.console/plugin.xml +++ b/org.eclipse.ui.console/plugin.xml @@ -1,5 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> -<?eclipse version="3.0"?> +<?eclipse version="3.0"?>
<!-- + Copyright (c) 2005, 2008 IBM Corporation and others. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + IBM Corporation - initial API and implementation + --> + <plugin> <extension-point id="consolePatternMatchListeners" name="%ConsolePatternMatchListenerName" schema="schema/consolePatternMatchListeners.exsd"/> |