diff options
Diffstat (limited to 'eclipse.plugin/org.aspectj.ajde.doc/plugin.xml')
| -rw-r--r-- | eclipse.plugin/org.aspectj.ajde.doc/plugin.xml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/eclipse.plugin/org.aspectj.ajde.doc/plugin.xml b/eclipse.plugin/org.aspectj.ajde.doc/plugin.xml deleted file mode 100644 index d75896184..000000000 --- a/eclipse.plugin/org.aspectj.ajde.doc/plugin.xml +++ /dev/null @@ -1,22 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<plugin - id="org.aspectj.ajde.doc" - name="%pluginName" - version="build.version.eclipse.plugins" - provider-name="%providerName"> - - <runtime> - </runtime> - - <requires> - <import plugin="org.eclipse.help"/> - </requires> - - <extension point="org.eclipse.help.toc"> - <toc file="toc.xml" primary="true"/> - <toc file="toc_ajquickref.xml"/> - <toc file="toc_ajprogguide.xml"/> - <toc file="toc_ajsemantics.xml"/> - </extension> - -</plugin> |