diff options
| author | david_williams | 2008-03-02 07:08:41 +0000 |
|---|---|---|
| committer | david_williams | 2008-03-02 07:08:41 +0000 |
| commit | 77c469abec0281fc54d682644b7e2ed4992efc55 (patch) | |
| tree | f6bf51216b7c56e37de666eb9516907be04e1a58 | |
| parent | c0daae1cbd641dbefd62539fc49cac2fd9e63fc1 (diff) | |
| download | webtools.maps-77c469abec0281fc54d682644b7e2ed4992efc55.tar.gz webtools.maps-77c469abec0281fc54d682644b7e2ed4992efc55.tar.xz webtools.maps-77c469abec0281fc54d682644b7e2ed4992efc55.zip | |
220867 move user doc out of releng
| -rw-r--r-- | releng.sourceediting/maps/sourceediting-docs.map | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/releng.sourceediting/maps/sourceediting-docs.map b/releng.sourceediting/maps/sourceediting-docs.map index 66c5bef65..9fe4ddddf 100644 --- a/releng.sourceediting/maps/sourceediting-docs.map +++ b/releng.sourceediting/maps/sourceediting-docs.map @@ -8,19 +8,17 @@ !*************** +plugin@org.eclipse.jst.jsp.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.jst.jsp.ui.infopop plugin@org.eclipse.wst.doc.user=v200705302225,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.doc.user -plugin@org.eclipse.wst.webtools.doc.user=v200710091922,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.webtools.doc.user - plugin@org.eclipse.wst.dtd.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.dtd.ui.infopop plugin@org.eclipse.wst.dtdeditor.doc.user=v200705302225,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.dtdeditor.doc.user plugin@org.eclipse.wst.html.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.html.ui.infopop plugin@org.eclipse.wst.javascript.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.javascript.ui.infopop plugin@org.eclipse.wst.sse.doc.user=v200711131723,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.sse.doc.user plugin@org.eclipse.wst.sse.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.sse.ui.infopop +plugin@org.eclipse.wst.webtools.doc.user=v200710091922,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.webtools.doc.user plugin@org.eclipse.wst.xml.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.xml.ui.infopop plugin@org.eclipse.wst.xmleditor.doc.user=v200705302225,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.xmleditor.doc.user plugin@org.eclipse.wst.xsdeditor.doc.user=v200705302225,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.xsdeditor.doc.user -plugin@org.eclipse.jst.jsp.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.jst.jsp.ui.infopop - !*************** |