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 |