diff options
author | nitind | 2011-01-14 21:40:13 +0000 |
---|---|---|
committer | nitind | 2011-01-14 21:40:13 +0000 |
commit | f7f6ae9067121b1243eb1e92f83b20dd273eb91d (patch) | |
tree | 1b5008464eba2278bacc5bdb005a37a715eab466 | |
parent | 14c2508abf917c0470bd4398706730cf1ce17b0e (diff) | |
download | webtools.maps-f7f6ae9067121b1243eb1e92f83b20dd273eb91d.tar.gz webtools.maps-f7f6ae9067121b1243eb1e92f83b20dd273eb91d.tar.xz webtools.maps-f7f6ae9067121b1243eb1e92f83b20dd273eb91d.zip |
[331392] Script Explorer doesn't respond to resource changes
-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 9d2974c37..fa208073f 100644 --- a/releng.sourceediting/maps/wst-jsdt.map +++ b/releng.sourceediting/maps/wst-jsdt.map @@ -11,7 +11,7 @@ plugin@org.eclipse.wst.jsdt.core=v201007261723,:pserver:anonymous@dev.eclipse.or plugin@org.eclipse.wst.jsdt.manipulation=v200807241900,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.manipulation plugin@org.eclipse.wst.jsdt.support.firefox=v200905071842,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.support.firefox plugin@org.eclipse.wst.jsdt.support.ie=v200905060217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.support.ie -plugin@org.eclipse.wst.jsdt.ui=v201011152026,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.ui +plugin@org.eclipse.wst.jsdt.ui=v201101142139,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/plugins/org.eclipse.wst.jsdt.ui plugin@org.eclipse.wst.jsdt.web.core=v201010152255,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.core plugin@org.eclipse.wst.jsdt.web.support.jsp=v200905060217,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.support.jsp plugin@org.eclipse.wst.jsdt.web.ui=v201008301811,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.ui @@ -21,6 +21,6 @@ feature@org.eclipse.wst.jsdt_sdk.feature=v200904132250,:pserver:anonymous@dev.ec !*************** -feature@org.eclipse.wst.jsdt.feature.patch=v201011152026,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/features/org.eclipse.wst.jsdt.feature.patch +feature@org.eclipse.wst.jsdt.feature.patch=v201101142139,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jsdt/features/org.eclipse.wst.jsdt.feature.patch !***************
\ No newline at end of file |