diff options
Diffstat (limited to 'plugins/infra/org.eclipse.papyrus.infra.doc/plugin.xml')
-rw-r--r-- | plugins/infra/org.eclipse.papyrus.infra.doc/plugin.xml | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/plugins/infra/org.eclipse.papyrus.infra.doc/plugin.xml b/plugins/infra/org.eclipse.papyrus.infra.doc/plugin.xml deleted file mode 100644 index fb0251c8839..00000000000 --- a/plugins/infra/org.eclipse.papyrus.infra.doc/plugin.xml +++ /dev/null @@ -1,23 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?>
-<?eclipse version="3.4"?>
-<plugin>
- <extension
- point="org.eclipse.ui.intro.configExtension">
- <configExtension
- configId="org.eclipse.ui.intro.universalConfig"
- content="intro/firststeps.xml">
- </configExtension>
- <configExtension
- configId="org.eclipse.ui.intro.universalConfig"
- content="intro/overview.xml">
- </configExtension>
- </extension>
- <extension
- point="org.eclipse.help.toc">
- <toc
- category="org.eclipse.papyrus"
- file="toc.xml"
- primary="true">
- </toc>
- </extension>
-</plugin>
|