diff options
author | eyuen | 2012-11-12 18:55:22 +0000 |
---|---|---|
committer | eyuen | 2012-11-12 18:55:22 +0000 |
commit | 2a8888a4434d25d4fd607d71487d4fec60413f5f (patch) | |
tree | 6d330bb68fd32490cabf7876e695469c42934bf6 | |
parent | 4e10abd056c5d079f3702e393239410bb1bad0ff (diff) | |
download | webtools.maps-2a8888a4434d25d4fd607d71487d4fec60413f5f.tar.gz webtools.maps-2a8888a4434d25d4fd607d71487d4fec60413f5f.tar.xz webtools.maps-2a8888a4434d25d4fd607d71487d4fec60413f5f.zip |
[391756] In new server wizard, host may not match default host for
server type
-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 a97d273f0..e52ea84fc 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=v20120306_1603,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=v20121010_1641,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=v20121112_1353,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=v20120821_1517,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=v20120403_0949,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery |