diff options
author | Darin Swanson | 2003-11-15 18:48:31 +0000 |
---|---|---|
committer | Darin Swanson | 2003-11-15 18:48:31 +0000 |
commit | 0968a87d4b5153beae755f0c140ba7ca2e73a9a2 (patch) | |
tree | ba6ab350c2081a48bc9d55b3fac5b028946ef543 | |
parent | c4ddc9c7db007b7a5c9a19e2ffe2a5655f5e4d46 (diff) | |
download | eclipse.platform.debug-0968a87d4b5153beae755f0c140ba7ca2e73a9a2.tar.gz eclipse.platform.debug-0968a87d4b5153beae755f0c140ba7ca2e73a9a2.tar.xz eclipse.platform.debug-0968a87d4b5153beae755f0c140ba7ca2e73a9a2.zip |
Bug 46728 - org.eclipse.ui.console should be tagged as 3.0 plug-in
-rw-r--r-- | org.eclipse.ui.console/plugin.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml index 9e60d4c45..89f16d5ca 100644 --- a/org.eclipse.ui.console/plugin.xml +++ b/org.eclipse.ui.console/plugin.xml @@ -1,4 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> +<?eclipse version="3.0"?> <plugin id="org.eclipse.ui.console" name="%pluginName" |