diff options
Diffstat (limited to 'docs/org.eclipse.wst.sse.doc.user/plugin.xml')
-rw-r--r-- | docs/org.eclipse.wst.sse.doc.user/plugin.xml | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/docs/org.eclipse.wst.sse.doc.user/plugin.xml b/docs/org.eclipse.wst.sse.doc.user/plugin.xml deleted file mode 100644 index 3505de6e8c..0000000000 --- a/docs/org.eclipse.wst.sse.doc.user/plugin.xml +++ /dev/null @@ -1,28 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?eclipse version="3.0"?> -<!-- /******************************************************************************* - * Copyright (c) 2001, 2006 IBM Corporation and others. - * All rights reserved. This program and the accompanying materials - * are made available under the terms of the Eclipse Public License v1.0 - * which accompanies this distribution, and is available at - * http://www.eclipse.org/legal/epl-v10.html - * - * Contributors: - * IBM Corporation - initial API and implementation - *******************************************************************************/ --> - -<!-- ===================================================== --> -<!-- This is the plug-in for declaring the help pages --> -<!-- for the structured text editors (source editors). --> -<!-- ===================================================== --> - -<plugin> - - <extension point="org.eclipse.help.toc"> - <toc file="sse_toc.xml"> - </toc> - </extension> - <extension point="org.eclipse.help.index"> - <index file="org.eclipse.wst.sse.doc.userindex.xml"/> -</extension> -</plugin> |