diff options
Diffstat (limited to 'docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml')
-rw-r--r-- | docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml b/docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml deleted file mode 100644 index aa57fbcde2..0000000000 --- a/docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml +++ /dev/null @@ -1,25 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?eclipse version="3.0"?> -<!-- ================================================= --> -<!-- This is the plugin for declaring the help --> -<!-- contributions for using the tool. --> -<!-- ================================================= --> -<!-- /******************************************************************************* - * Copyright (c) 2000, 2005 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 - *******************************************************************************/ --> -<plugin> - -<extension point="org.eclipse.help.contexts"> - <contexts file="EditorDtdContexts.xml" plugin ="org.eclipse.wst.dtd.ui"/> - <contexts file="EditorDtdContexts2.xml" plugin ="org.eclipse.wst.dtd.core"/> -</extension> - - -</plugin>
\ No newline at end of file |