diff options
author | david_williams | 2011-02-14 17:58:58 +0000 |
---|---|---|
committer | david_williams | 2011-02-14 17:58:58 +0000 |
commit | 87e88a75d0802c295dd6bb0288f09a57604f34aa (patch) | |
tree | c24bfb9b3e7e15ff1c57f3dafae8184b126d7692 | |
parent | 328ff7414192eaaf8c6eec2a9fa707f2bc18559f (diff) | |
download | webtools.maps-87e88a75d0802c295dd6bb0288f09a57604f34aa.tar.gz webtools.maps-87e88a75d0802c295dd6bb0288f09a57604f34aa.tar.xz webtools.maps-87e88a75d0802c295dd6bb0288f09a57604f34aa.zip |
337071 - does ws.explorer require org.eclipse.help.appserver?
-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 98ec7e788..815847ed1 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=v201004211805,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.ws.ui -plugin@org.eclipse.wst.ws.explorer=v201004220342,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.ws.explorer +plugin@org.eclipse.wst.ws.explorer=v201102141800,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.ws.explorer plugin@org.eclipse.wst.wsdl.ui=v201101212140,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.wsdl.ui plugin@org.eclipse.wst.wsi.ui=v201004201506,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/plugins/org.eclipse.wst.wsi.ui |