diff options
author | eyuen | 2014-05-20 18:28:17 +0000 |
---|---|---|
committer | eyuen | 2014-05-20 18:28:17 +0000 |
commit | c2d10bb9aec1917082e9e150ca775a077a47a311 (patch) | |
tree | bcb3a96da17a96574a87826c6ae774f414502571 | |
parent | 951f473092087afe7d4159009072f0845acf9d62 (diff) | |
download | webtools.maps-c2d10bb9aec1917082e9e150ca775a077a47a311.tar.gz webtools.maps-c2d10bb9aec1917082e9e150ca775a077a47a311.tar.xz webtools.maps-c2d10bb9aec1917082e9e150ca775a077a47a311.zip |
[435215] Run On Server result in empty selection
-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 90df924f1..f3f7258d4 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=GIT,tag=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.internet.monitor.ui -plugin@org.eclipse.wst.server.ui=GIT,tag=v20140429_2022,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.ui +plugin@org.eclipse.wst.server.ui=GIT,tag=v20140520_1426,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.ui plugin@org.eclipse.wst.server.http.ui=GIT,tag=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.http.ui plugin@org.eclipse.wst.server.discovery=GIT,tag=v20140512_1631,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery |