diff options
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
-rw-r--r-- | org.eclipse.ui.console/plugin.xml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml new file mode 100644 index 000000000..753763e47 --- /dev/null +++ b/org.eclipse.ui.console/plugin.xml @@ -0,0 +1,21 @@ +<?xml version="1.0" encoding="UTF-8"?> +<plugin + id="org.eclipse.ui.console" + name="%pluginName" + version="3.0.0" + provider-name="%providerName" + class="org.eclipse.ui.internal.console.ConsolePlugin"> + + <runtime> + <library name="console.jar"> + <export name="*"/> + <packages prefixes="org.eclipse.ui.console, org.eclipse.ui.internal.console"/> + </library> + </runtime> + <requires> + <import plugin="org.apache.xerces"/> + <import plugin="org.eclipse.core.resources"/> + <import plugin="org.eclipse.ui"/> + <import plugin="org.eclipse.help"/> + </requires> +</plugin> |