diff options
| author | nitind | 2009-02-05 21:12:28 +0000 |
|---|---|---|
| committer | nitind | 2009-02-05 21:12:28 +0000 |
| commit | ec62438621d72ad789ace0cb02a5a99fbd9c8ba4 (patch) | |
| tree | 3f07d5434d888e3a9deccdeb40b4e2386d21f5d5 | |
| parent | 80af2866915b9ae801af6aae606085728b8d6570 (diff) | |
| download | webtools.maps-ec62438621d72ad789ace0cb02a5a99fbd9c8ba4.tar.gz webtools.maps-ec62438621d72ad789ace0cb02a5a99fbd9c8ba4.tar.xz webtools.maps-ec62438621d72ad789ace0cb02a5a99fbd9c8ba4.zip | |
[263865] revert 243183 (re-add the JSDT Web Facet)
| -rw-r--r-- | releng.sourceediting/maps/wst-jsdt.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/wst-jsdt.map b/releng.sourceediting/maps/wst-jsdt.map index 21801e0be..7ce373858 100644 --- a/releng.sourceediting/maps/wst-jsdt.map +++ b/releng.sourceediting/maps/wst-jsdt.map @@ -12,7 +12,7 @@ plugin@org.eclipse.wst.jsdt.manipulation=v200807241900,:pserver:anonymous@dev.ec 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=v200901290004,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.ui -plugin@org.eclipse.wst.jsdt.web.core=v200901282355,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.core +plugin@org.eclipse.wst.jsdt.web.core=v200902052112,: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=v200901282355,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.ui |