diff options
| -rw-r--r-- | releng.common/maps/wst-common-core.map | 2 | ||||
| -rw-r--r-- | releng.sourceediting/maps/wst-jsdt-web.map | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/releng.common/maps/wst-common-core.map b/releng.common/maps/wst-common-core.map index df07fb64b..a88d4b64d 100644 --- a/releng.common/maps/wst-common-core.map +++ b/releng.common/maps/wst-common-core.map @@ -16,7 +16,7 @@ plugin@org.eclipse.wst.common.uriresolver=v201004280700,:pserver:anonymous@dev.e plugin@org.eclipse.wst.internet.cache=v201004280700,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,common/plugins/org.eclipse.wst.internet.cache -plugin@org.eclipse.wst.validation=v201103212049,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,common/plugins/org.eclipse.wst.validation +plugin@org.eclipse.wst.validation=v201104190230,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,common/plugins/org.eclipse.wst.validation plugin@org.eclipse.jem.util=v201103021400,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,common/plugins/org.eclipse.jem.util diff --git a/releng.sourceediting/maps/wst-jsdt-web.map b/releng.sourceediting/maps/wst-jsdt-web.map index e4c82c725..fcc0159e3 100644 --- a/releng.sourceediting/maps/wst-jsdt-web.map +++ b/releng.sourceediting/maps/wst-jsdt-web.map @@ -2,7 +2,7 @@ ! This map file is for the WTP 3.3 release ! These bundles are currently being developed and released from the HEAD branch -plugin@org.eclipse.wst.jsdt.web.core=v201103080228,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.core +plugin@org.eclipse.wst.jsdt.web.core=v201104190230,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.core plugin@org.eclipse.wst.jsdt.web.support.jsp=v201102241833,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.support.jsp plugin@org.eclipse.wst.jsdt.web.ui=v201103080228,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.ui |