diff options
author | nitind | 2010-04-22 07:17:43 +0000 |
---|---|---|
committer | nitind | 2010-04-22 07:17:43 +0000 |
commit | 583b30ba416a0117994847f5106ca3da02f9ff6b (patch) | |
tree | f1537c716de810ff4b120a612f5a33eece51b539 /releng.jsdt | |
parent | 7ca2d4baf8e23870cc03887cc999b59b6f3ec95b (diff) | |
download | webtools.maps-583b30ba416a0117994847f5106ca3da02f9ff6b.tar.gz webtools.maps-583b30ba416a0117994847f5106ca3da02f9ff6b.tar.xz webtools.maps-583b30ba416a0117994847f5106ca3da02f9ff6b.zip |
[274550] [explorer] Clean up and streamline explorer UI (sections 4&5)
Diffstat (limited to 'releng.jsdt')
-rw-r--r-- | releng.jsdt/maps/wst-jsdt.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.jsdt/maps/wst-jsdt.map b/releng.jsdt/maps/wst-jsdt.map index 6bc4cd006..4f523e12d 100644 --- a/releng.jsdt/maps/wst-jsdt.map +++ b/releng.jsdt/maps/wst-jsdt.map @@ -7,7 +7,7 @@ plugin@org.eclipse.wst.jsdt.core=v201004212234,:pserver:anonymous@dev.eclipse.or plugin@org.eclipse.wst.jsdt.manipulation=v201004150600,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.manipulation plugin@org.eclipse.wst.jsdt.support.firefox=v201004150600,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.support.firefox plugin@org.eclipse.wst.jsdt.support.ie=v201004150600,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.support.ie -plugin@org.eclipse.wst.jsdt.ui=v201004210545,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.ui +plugin@org.eclipse.wst.jsdt.ui=v201004220715,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.ui plugin@org.eclipse.wst.jsdt.debug.core=v201004150600,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.debug.core plugin@org.eclipse.wst.jsdt.debug.ui=v201004150600,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.debug.ui |