diff options
| author | pberkland | 2008-05-28 21:37:40 +0000 |
|---|---|---|
| committer | pberkland | 2008-05-28 21:37:40 +0000 |
| commit | debdcf10d557312ab86e225302bcf7c048b38368 (patch) | |
| tree | 97ea24e84091d47f2992b268586a9ce0b158d976 /releng.sourceediting | |
| parent | 748ae241fd015a4dce5045925741071d1d9e8769 (diff) | |
| download | webtools.maps-debdcf10d557312ab86e225302bcf7c048b38368.tar.gz webtools.maps-debdcf10d557312ab86e225302bcf7c048b38368.tar.xz webtools.maps-debdcf10d557312ab86e225302bcf7c048b38368.zip | |
jsdt fixes for RC3
Diffstat (limited to 'releng.sourceediting')
| -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 5ac9b3f2f..5ef665470 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=v200805221604,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.jsdt.doc -plugin@org.eclipse.wst.jsdt.core=v200805221604,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.core +plugin@org.eclipse.wst.jsdt.core=v200805282135,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.core plugin@org.eclipse.wst.jsdt.manipulation=v200804302218,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.manipulation plugin@org.eclipse.wst.jsdt.support.firefox=v200804302218,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.support.firefox plugin@org.eclipse.wst.jsdt.support.ie=v200804302218,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.support.ie -plugin@org.eclipse.wst.jsdt.ui=v200805221604,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.ui +plugin@org.eclipse.wst.jsdt.ui=v200805282135,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.ui plugin@org.eclipse.wst.jsdt.web.core=v200805221604,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.core plugin@org.eclipse.wst.jsdt.web.support.jsp=v200804302218,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.support.jsp plugin@org.eclipse.wst.jsdt.web.ui=v200804302218,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.ui |