diff options
| author | mrennie | 2010-08-17 16:08:37 +0000 |
|---|---|---|
| committer | mrennie | 2010-08-17 16:08:37 +0000 |
| commit | a112901ed46f64138e271a4137439a89226e4546 (patch) | |
| tree | e9e89654538a045dd0791729422af53805fed247 | |
| parent | 25f6516ff37cdec8ef4617e7b54919b50362afd5 (diff) | |
| download | webtools.maps-a112901ed46f64138e271a4137439a89226e4546.tar.gz webtools.maps-a112901ed46f64138e271a4137439a89226e4546.tar.xz webtools.maps-a112901ed46f64138e271a4137439a89226e4546.zip | |
Bug 289107 - The JavaScript launching story needs polishing
| -rw-r--r-- | releng.jsdt/maps/wst-jsdt.map | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/releng.jsdt/maps/wst-jsdt.map b/releng.jsdt/maps/wst-jsdt.map index 40ec671cf..68eb28c03 100644 --- a/releng.jsdt/maps/wst-jsdt.map +++ b/releng.jsdt/maps/wst-jsdt.map @@ -12,6 +12,7 @@ plugin@org.eclipse.wst.jsdt.ui=v201008101442,:pserver:anonymous@dev.eclipse.org: plugin@org.eclipse.wst.jsdt.debug.core=v201007310711,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.debug.core plugin@org.eclipse.wst.jsdt.debug.ui=v201008101442,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.debug.ui plugin@org.eclipse.wst.jsdt.debug.rhino=v201008101442,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.debug.rhino +plugin@org.eclipse.wst.jsdt.debug.rhino.ui=v201007201421,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.debug.rhino.ui plugin@org.eclipse.wst.jsdt.debug.rhino.debugger=v201008101442,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.debug.rhino.debugger plugin@org.eclipse.wst.jsdt.debug.transport=v201008101442,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.debug.transport |