Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorkprice2008-05-14 20:31:36 +0000
committerkprice2008-05-14 20:31:36 +0000
commit63b8115f4d05760363089ec4db8c53eb6cc76496 (patch)
tree67ca481eab7eed09bb3a565455e71278c3ee7228 /releng.servertools/maps/servertools-docs.map
parent2e7e8139caa3016dd62a920bc6757a9202ee6cb4 (diff)
downloadwebtools.maps-63b8115f4d05760363089ec4db8c53eb6cc76496.tar.gz
webtools.maps-63b8115f4d05760363089ec4db8c53eb6cc76496.tar.xz
webtools.maps-63b8115f4d05760363089ec4db8c53eb6cc76496.zip
[231596] Docs. Index updates. Pre-built search index.
Diffstat (limited to 'releng.servertools/maps/servertools-docs.map')
-rw-r--r--releng.servertools/maps/servertools-docs.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/servertools-docs.map b/releng.servertools/maps/servertools-docs.map
index afb234a4f..f3e96ee54 100644
--- a/releng.servertools/maps/servertools-docs.map
+++ b/releng.servertools/maps/servertools-docs.map
@@ -1,5 +1,5 @@
plugin@org.eclipse.wst.server.ui.doc.user=v200805140145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user
plugin@org.eclipse.wst.server.ui.infopop=v200805140145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.infopop
-plugin@org.eclipse.jst.server.ui.doc.user=v200805140417,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.doc.user
+plugin@org.eclipse.jst.server.ui.doc.user=v200805142130,: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 \ No newline at end of file

Back to the top