diff options
Diffstat (limited to 'docs/org.eclipse.wst.webtools.doc.user/plugin.xml')
-rw-r--r-- | docs/org.eclipse.wst.webtools.doc.user/plugin.xml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/org.eclipse.wst.webtools.doc.user/plugin.xml b/docs/org.eclipse.wst.webtools.doc.user/plugin.xml index 9440e936c2..d7e149f3f2 100644 --- a/docs/org.eclipse.wst.webtools.doc.user/plugin.xml +++ b/docs/org.eclipse.wst.webtools.doc.user/plugin.xml @@ -11,10 +11,7 @@ * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ --> - <plugin id="org.eclipse.wst.webtools.doc.user" - name="Web tools documentation" - version="0.7.0" - provider-name="Eclipse.org"> + <plugin> <extension point="org.eclipse.help.toc"> <toc file="webtools_toc.xml" /> </extension> |