diff options
author | avera | 2009-04-15 18:05:57 +0000 |
---|---|---|
committer | avera | 2009-04-15 18:05:57 +0000 |
commit | bcf065f2ddbbb41d64571a9276d0c2c82ad39184 (patch) | |
tree | b4b2c4555d419a64f6612351eb9c933f2dbdcbe9 /releng.servertools | |
parent | b62bf4121142d5c4ea710a5421f323a3ff1fdaed (diff) | |
download | webtools.maps-bcf065f2ddbbb41d64571a9276d0c2c82ad39184.tar.gz webtools.maps-bcf065f2ddbbb41d64571a9276d0c2c82ad39184.tar.xz webtools.maps-bcf065f2ddbbb41d64571a9276d0c2c82ad39184.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 05a6bae31..c64fc8704 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=v200805140145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.internet.monitor.ui -plugin@org.eclipse.wst.server.ui=v20090318,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.ui +plugin@org.eclipse.wst.server.ui=v20090415,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.ui plugin@org.eclipse.wst.server.http.ui=v200805140145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.http.ui !***************
\ No newline at end of file |