Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorkprice2010-05-19 20:26:08 +0000
committerkprice2010-05-19 20:26:08 +0000
commit4262890175a14b0058a63c5c134b63f22dd84f47 (patch)
treea0ff9487f493ce13e1fde5bce9d7a24fc5eedf70 /releng.servertools/maps/servertools-docs.map
parentc7a5f908c39aa3a5972e23de520b5f3790af1ff1 (diff)
downloadwebtools.maps-4262890175a14b0058a63c5c134b63f22dd84f47.tar.gz
webtools.maps-4262890175a14b0058a63c5c134b63f22dd84f47.tar.xz
webtools.maps-4262890175a14b0058a63c5c134b63f22dd84f47.zip
[313219] Added new documentation for the "Server State Decorator"
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 f28643ff5..8bd18ec4d 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=v201005122224,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user
+plugin@org.eclipse.wst.server.ui.doc.user=v201005192125,: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=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

Back to the top