commit 774dbb7fdf2b94125bf70c182af9ff307b83652f
author kprice <kprice> Wed May 12 21:24:51 2010 +0000
committer kprice <kprice> Wed May 12 21:24:51 2010 +0000
tree 5e8ab1149a5752f70eb589db3ae7de54f0a20e10
parent 03f4baf4394815baffcad9ef5295e511fe25b87a

[312685] restructuring server tools docs to reduce footprint

releng.servertools/maps/servertools-docs.map

diff --git a/releng.servertools/maps/servertools-docs.map b/releng.servertools/maps/servertools-docs.map
index 58fd8ea..f28643f 100644
--- a/releng.servertools/maps/servertools-docs.map
+++ b/releng.servertools/maps/servertools-docs.map
@@ -1,6 +1,6 @@
 
-plugin@org.eclipse.wst.server.ui.doc.user=v201005121542,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user
+plugin@org.eclipse.wst.server.ui.doc.user=v201005122224,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user
 plugin@org.eclipse.wst.server.ui.infopop=v201005112257,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.infopop
-plugin@org.eclipse.jst.server.ui.doc.user=v201005112257,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.doc.user
+plugin@org.eclipse.jst.server.ui.doc.user=v201005122224,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.doc.user
 plugin@org.eclipse.jst.server.ui.infopop=v200805140145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop
 plugin@org.eclipse.servertools.doc.isv=v20090414,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.servertools.doc.isv
\ No newline at end of file