Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorkraev2008-04-02 08:10:41 -0400
committerkraev2008-04-02 08:10:41 -0400
commit3eed8047b4acbebdc055aed5b7b556e8b0b23726 (patch)
tree14aea35aff9b10a05ddbbc28411521ce8574cba4 /releng.jeetools/maps/jeetools-docs.map
parent84b5a33313471f3fe0cbe4f2b788212bfdcabe52 (diff)
downloadwebtools.maps-3eed8047b4acbebdc055aed5b7b556e8b0b23726.tar.gz
webtools.maps-3eed8047b4acbebdc055aed5b7b556e8b0b23726.tar.xz
webtools.maps-3eed8047b4acbebdc055aed5b7b556e8b0b23726.zip
[216734]
Diffstat (limited to 'releng.jeetools/maps/jeetools-docs.map')
-rw-r--r--releng.jeetools/maps/jeetools-docs.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.jeetools/maps/jeetools-docs.map b/releng.jeetools/maps/jeetools-docs.map
index c9d91aec5..220528ec6 100644
--- a/releng.jeetools/maps/jeetools-docs.map
+++ b/releng.jeetools/maps/jeetools-docs.map
@@ -1,6 +1,6 @@
plugin@org.eclipse.wst.web.ui.infopop=v200706110217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.wst.web.ui.infopop
plugin@org.eclipse.jst.ejb.doc.user=v200803121901,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,ejbtools/docs/org.eclipse.jst.ejb.doc.user
-plugin@org.eclipse.jst.servlet.ui.infopop=v200802041306,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.servlet.ui.infopop
+plugin@org.eclipse.jst.servlet.ui.infopop=v200804021210,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.servlet.ui.infopop
plugin@org.eclipse.jst.j2ee.infopop=v200801300500,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.infopop
plugin@org.eclipse.jst.j2ee.doc.user=v200803032057,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.doc.user
plugin@org.eclipse.jst.ejb.ui.infopop=v200803121901,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,ejbtools/docs/org.eclipse.jst.ejb.ui.infopop \ No newline at end of file

Back to the top