diff options
author | kchan | 2008-06-04 14:26:30 +0000 |
---|---|---|
committer | kchan | 2008-06-04 14:26:30 +0000 |
commit | 7f3d1f72d1b74b901773b5513765fe76bb4f1348 (patch) | |
tree | 1ef7374abce3c78cf8c8da4dbcf4ba2b474728c0 | |
parent | 3a0a2f2a6fdc66e9dd959e76f3cff42c51862d7a (diff) | |
download | webtools.maps-7f3d1f72d1b74b901773b5513765fe76bb4f1348.tar.gz webtools.maps-7f3d1f72d1b74b901773b5513765fe76bb4f1348.tar.xz webtools.maps-7f3d1f72d1b74b901773b5513765fe76bb4f1348.zip |
[235422] Unable to launch WSE in WST download.
-rw-r--r-- | releng.webservices/maps/wst-ws-ui.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.webservices/maps/wst-ws-ui.map b/releng.webservices/maps/wst-ws-ui.map index f55dc5376..890545d22 100644 --- a/releng.webservices/maps/wst-ws-ui.map +++ b/releng.webservices/maps/wst-ws-ui.map @@ -6,7 +6,7 @@ ! from the HEAD branch plugin@org.eclipse.wst.ws.ui=v200805140300,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.ws.ui -plugin@org.eclipse.wst.ws.explorer=v200805140230,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.ws.explorer +plugin@org.eclipse.wst.ws.explorer=v200806041425,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.ws.explorer plugin@org.eclipse.wst.wsdl.ui=v200805281546,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.wsdl.ui plugin@org.eclipse.wst.wsi.ui=v200805140300,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.wsi.ui |