diff options
author | kprice | 2008-05-12 21:03:12 +0000 |
---|---|---|
committer | kprice | 2008-05-12 21:03:12 +0000 |
commit | 1be7fb4d92fe6fe83d249f52564e0307e2512898 (patch) | |
tree | 15586f0e609b0dc2b64cbfc8a49ef078fc9010d8 | |
parent | 4816d66eb5408e05d18f5e400907f517b7e3230e (diff) | |
download | webtools.maps-1be7fb4d92fe6fe83d249f52564e0307e2512898.tar.gz webtools.maps-1be7fb4d92fe6fe83d249f52564e0307e2512898.tar.xz webtools.maps-1be7fb4d92fe6fe83d249f52564e0307e2512898.zip |
[229175] server tools doc updates for wst 3.0
-rw-r--r-- | releng.servertools/maps/servertools-docs.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/servertools-docs.map b/releng.servertools/maps/servertools-docs.map index fc0ed0682..29abace9f 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=v2008050022,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user +plugin@org.eclipse.wst.server.ui.doc.user=v200805122159,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user plugin@org.eclipse.wst.server.ui.infopop=v200805122135,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.infopop plugin@org.eclipse.jst.server.ui.doc.user=v200802061911,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.doc.user plugin@org.eclipse.jst.server.ui.infopop=v200804092211,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop
\ No newline at end of file |