diff options
author | nitind | 2007-11-01 09:31:19 +0000 |
---|---|---|
committer | nitind | 2007-11-01 09:31:19 +0000 |
commit | ff7afbf9b915fca7b54d57ff41de554acfc050f3 (patch) | |
tree | c1cf9aab7c68fc1ff21030388f926e6ad756c8c4 | |
parent | 015bf1fde06a7d33a4a6d40bff98b38eba7cdfb5 (diff) | |
download | webtools.maps-vI20071101124443.tar.gz webtools.maps-vI20071101124443.tar.xz webtools.maps-vI20071101124443.zip |
[208161] Disable old JS editor and lower priority of its content typevI20071101124443
-rw-r--r-- | releng.sourceediting/maps/wst-web-ui.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/wst-web-ui.map b/releng.sourceediting/maps/wst-web-ui.map index 04626d881..234a08bd4 100644 --- a/releng.sourceediting/maps/wst-web-ui.map +++ b/releng.sourceediting/maps/wst-web-ui.map @@ -9,7 +9,7 @@ plugin@org.eclipse.wst.web.ui=v200710021200,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,wst/components/web/plugins/org.eclipse.wst.web.ui plugin@org.eclipse.wst.css.ui=v200710302256,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,wst/components/css/plugins/org.eclipse.wst.css.ui plugin@org.eclipse.wst.html.ui=v200710311809,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,wst/components/html/plugins/org.eclipse.wst.html.ui -plugin@org.eclipse.wst.javascript.ui=v200711010825,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,wst/components/javascript/plugins/org.eclipse.wst.javascript.ui +plugin@org.eclipse.wst.javascript.ui=v200711010929,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,wst/components/javascript/plugins/org.eclipse.wst.javascript.ui !***************
\ No newline at end of file |