summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoreyuen2012-08-24 15:24:20 (EDT)
committereyuen2012-08-24 15:24:20 (EDT)
commitde299ee3577ed199c41ff4ee6a213debf90d0eef (patch)
tree213a327857f488942eac20531cf31f13613dd5fe
parenta96187480d4bff8c4855678acb3d2cabbd3b4793 (diff)
downloadwebtools.maps-de299ee3577ed199c41ff4ee6a213debf90d0eef.zip
webtools.maps-de299ee3577ed199c41ff4ee6a213debf90d0eef.tar.gz
webtools.maps-de299ee3577ed199c41ff4ee6a213debf90d0eef.tar.bz2
[383138] CHKPII error on server tools doc
-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 7dd30ad..94188c4 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=GIT,tag=v201104111553,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.docs.git,path=docs/org.eclipse.wst.server.ui.doc.user
+plugin@org.eclipse.wst.server.ui.doc.user=GIT,tag=v20120824_1520,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.docs.git,path=docs/org.eclipse.wst.server.ui.doc.user
plugin@org.eclipse.wst.server.ui.infopop=GIT,tag=v201005192130,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.docs.git,path=docs/org.eclipse.wst.server.ui.infopop
plugin@org.eclipse.jst.server.ui.doc.user=GIT,tag=v201005192218,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.docs.git,path=docs/org.eclipse.jst.server.ui.doc.user
plugin@org.eclipse.jst.server.ui.infopop=GIT,tag=v200805140145,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.docs.git,path=docs/org.eclipse.jst.server.ui.infopop