diff options
| author | eyuen | 2012-02-10 19:41:58 +0000 |
|---|---|---|
| committer | eyuen | 2012-02-10 19:41:58 +0000 |
| commit | 251a365ac85d388459567a2906797761075d8000 (patch) | |
| tree | 003e81159df62ce4a9e339f7743d3a19c49aa81f /releng.servertools | |
| parent | 8e3033a9501406fec069756436de28254b5987a7 (diff) | |
| download | webtools.maps-251a365ac85d388459567a2906797761075d8000.tar.gz webtools.maps-251a365ac85d388459567a2906797761075d8000.tar.xz webtools.maps-251a365ac85d388459567a2906797761075d8000.zip | |
[371060] [hotbug] "Create a new local server" checkbox disappears
Diffstat (limited to 'releng.servertools')
| -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 b2d139561..bd97f0120 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=v20110810_1722,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.internet.monitor.ui -plugin@org.eclipse.wst.server.ui=v20120207_1715,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.ui +plugin@org.eclipse.wst.server.ui=v20120210_1441,: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 |