diff options
| author | kprice | 2010-07-14 16:02:24 +0000 |
|---|---|---|
| committer | kprice | 2010-07-14 16:02:24 +0000 |
| commit | 631f759a6316ba9b93bf8a51154a14e75815d932 (patch) | |
| tree | 1e4e548bae3315c6750c579df620ce64d1d0a922 | |
| parent | be55e2ea0b2995eeb54ab435b26f056e04f8e913 (diff) | |
| download | webtools.maps-631f759a6316ba9b93bf8a51154a14e75815d932.tar.gz webtools.maps-631f759a6316ba9b93bf8a51154a14e75815d932.tar.xz webtools.maps-631f759a6316ba9b93bf8a51154a14e75815d932.zip | |
| -rw-r--r-- | releng.webservices/maps/webservices-docs.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.webservices/maps/webservices-docs.map b/releng.webservices/maps/webservices-docs.map index 0b0104d1d..ff0cdf604 100644 --- a/releng.webservices/maps/webservices-docs.map +++ b/releng.webservices/maps/webservices-docs.map @@ -1,6 +1,6 @@ plugin@org.eclipse.wst.wsdl.ui.doc.user=v201007141701,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/docs/org.eclipse.wst.wsdl.ui.doc.user -plugin@org.eclipse.wst.wsi.ui.doc.user=v201005192217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/docs/org.eclipse.wst.wsi.ui.doc.user +plugin@org.eclipse.wst.wsi.ui.doc.user=v201007141702,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/docs/org.eclipse.wst.wsi.ui.doc.user plugin@org.eclipse.wst.ws.infopop=v200805140230,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/docs/org.eclipse.wst.ws.infopop plugin@org.eclipse.wst.ws.api.doc=v201004211732,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/docs/org.eclipse.wst.ws.api.doc plugin@org.eclipse.wst.wsdl.doc.isv=v201004201506,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,webservices/docs/org.eclipse.wst.wsdl.doc.isv |