diff options
-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 fd33f1377..8ce6e211d 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=v200908252145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.ws.ui -plugin@org.eclipse.wst.ws.explorer=v200908252115,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.ws.explorer +plugin@org.eclipse.wst.ws.explorer=v200911241710,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.ws.explorer plugin@org.eclipse.wst.wsdl.ui=v200910291925,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.wsdl.ui plugin@org.eclipse.wst.wsi.ui=v200901141851,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.wsi.ui |