diff options
author | eyuen | 2012-02-10 19:39:21 +0000 |
---|---|---|
committer | eyuen | 2012-02-10 19:39:21 +0000 |
commit | 836ef55c853e3fe184b92870f2cc6f24e36806c3 (patch) | |
tree | 3b8dd187d083744c73318157368b89cf18c422db | |
parent | 2840022d8d2fb4862f96a63b7557899dc20a6a1a (diff) | |
download | webtools.maps-R3_3_maintenance.tar.gz webtools.maps-R3_3_maintenance.tar.xz webtools.maps-R3_3_maintenance.zip |
[371060] [hotbug] "Create a new local server" checkbox disappearsR3_3_maintenance
-rw-r--r-- | releng.servertools/maps/wst-server-ui.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/wst-server-ui.map b/releng.servertools/maps/wst-server-ui.map index 326d6e93f..da5b8897c 100644 --- a/releng.servertools/maps/wst-server-ui.map +++ b/releng.servertools/maps/wst-server-ui.map @@ -5,7 +5,7 @@ plugin@org.eclipse.wst.internet.monitor.ui=v20110817_1651,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.internet.monitor.ui -plugin@org.eclipse.wst.server.ui=v20120208_1351,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.ui +plugin@org.eclipse.wst.server.ui=v20120210_1439,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.ui plugin@org.eclipse.wst.server.http.ui=v20090113,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.http.ui plugin@org.eclipse.wst.server.discovery=v20110518,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.discovery |