diff options
author | nitind | 2011-04-13 18:50:26 +0000 |
---|---|---|
committer | nitind | 2011-04-13 18:50:26 +0000 |
commit | b8f7635928b759b38a7ac90496d0862204a29935 (patch) | |
tree | fc74cf7b9378b40c05028aba2b06b3a20f4b397f /docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml | |
parent | 00b8d3d1e63c61c761a6dcbc02ac5dd638e75a33 (diff) | |
download | webtools.sourceediting-201104131852.tar.gz webtools.sourceediting-201104131852.tar.xz webtools.sourceediting-201104131852.zip |
This commit was manufactured by cvs2svn to create tag 'v201104131852'.v201104131852
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 |