diff options
-rw-r--r-- | releng.sourceediting/maps/wst-jsdt.map | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/releng.sourceediting/maps/wst-jsdt.map b/releng.sourceediting/maps/wst-jsdt.map index ae500733f..7d6c5c889 100644 --- a/releng.sourceediting/maps/wst-jsdt.map +++ b/releng.sourceediting/maps/wst-jsdt.map @@ -7,11 +7,11 @@ ! from the HEAD branch plugin@org.eclipse.wst.jsdt.doc=v200810081720,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.jsdt.doc -plugin@org.eclipse.wst.jsdt.core=v200810241957,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.core +plugin@org.eclipse.wst.jsdt.core=v200810301820,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.core plugin@org.eclipse.wst.jsdt.manipulation=v200807241900,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.manipulation plugin@org.eclipse.wst.jsdt.support.firefox=v200810021840,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.support.firefox plugin@org.eclipse.wst.jsdt.support.ie=v200810021840,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.support.ie -plugin@org.eclipse.wst.jsdt.ui=v200810292147,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.ui +plugin@org.eclipse.wst.jsdt.ui=v200810301820,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.ui plugin@org.eclipse.wst.jsdt.web.core=v200810021840,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.core plugin@org.eclipse.wst.jsdt.web.support.jsp=v200810081720,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.support.jsp plugin@org.eclipse.wst.jsdt.web.ui=v200810021840,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.ui |