diff options
author | avera | 2010-12-01 16:58:43 +0000 |
---|---|---|
committer | avera | 2010-12-01 16:58:43 +0000 |
commit | e22d8c99c6c0e18ac18093284bba23d4a8f53b9c (patch) | |
tree | aa23815d5d476736337e781e7b69a0a25ae240c8 /releng.servertools | |
parent | c1762adf98ba56212a37c7e45cdc927e1cf652b0 (diff) | |
download | webtools.maps-e22d8c99c6c0e18ac18093284bba23d4a8f53b9c.tar.gz webtools.maps-e22d8c99c6c0e18ac18093284bba23d4a8f53b9c.tar.xz webtools.maps-e22d8c99c6c0e18ac18093284bba23d4a8f53b9c.zip |
[240167] should deleting a server in servers view close an open server editor
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 5667fc751..52d14e60b 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=v20100309,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.internet.monitor.ui -plugin@org.eclipse.wst.server.ui=v20101104,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.ui +plugin@org.eclipse.wst.server.ui=v20101201b,: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=v20100707,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.discovery |