Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authordeboer2009-08-12 20:49:16 +0000
committerdeboer2009-08-12 20:49:16 +0000
commit5509b0f7476e0755787f30bdc6fc51cff9ac1989 (patch)
tree58e81076d279020a17d50ac029c985c0ade9c7cd /releng.servertools/maps/wst-server-ui.map
parentce8bff57b3803dca00ecefbb7b0f563015fe2cf7 (diff)
downloadwebtools.maps-5509b0f7476e0755787f30bdc6fc51cff9ac1989.tar.gz
webtools.maps-5509b0f7476e0755787f30bdc6fc51cff9ac1989.tar.xz
webtools.maps-5509b0f7476e0755787f30bdc6fc51cff9ac1989.zip
[285197] Remove duplicate restart prompt
Diffstat (limited to 'releng.servertools/maps/wst-server-ui.map')
-rw-r--r--releng.servertools/maps/wst-server-ui.map2
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 f7c9b1a67..297fd12ff 100644
--- a/releng.servertools/maps/wst-server-ui.map
+++ b/releng.servertools/maps/wst-server-ui.map
@@ -7,6 +7,6 @@ plugin@org.eclipse.wst.internet.monitor.ui=v200805140145,:pserver:anonymous@dev.
plugin@org.eclipse.wst.server.ui=v20090515,: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=v20090728,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.discovery
+plugin@org.eclipse.wst.server.discovery=v20090812,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.discovery
!*************** \ No newline at end of file

Back to the top