diff options
Diffstat (limited to 'docs/org.eclipse.wst.doc.user/plugin.xml')
-rw-r--r-- | docs/org.eclipse.wst.doc.user/plugin.xml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docs/org.eclipse.wst.doc.user/plugin.xml b/docs/org.eclipse.wst.doc.user/plugin.xml deleted file mode 100644 index 4e48f3416e..0000000000 --- a/docs/org.eclipse.wst.doc.user/plugin.xml +++ /dev/null @@ -1,10 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?eclipse version="3.0"?> -<plugin> - <extension point="org.eclipse.help.toc"> - <toc file="toc.xml" primary="true" /> - </extension> - <extension point="org.eclipse.help.toc"> - <toc file="reference_toc.xml"/> - </extension> -</plugin> |