diff options
author | avera | 2010-07-12 20:29:37 +0000 |
---|---|---|
committer | avera | 2010-07-12 20:29:37 +0000 |
commit | bcc5e94c6e675ba6779d681eb13a73bfab089dd1 (patch) | |
tree | 3482e878a89a7233892f8f15f1f074bd458e95b2 | |
parent | e09a6d08a42292a4d602827cb585e731c13b972f (diff) | |
download | webtools.maps-bcc5e94c6e675ba6779d681eb13a73bfab089dd1.tar.gz webtools.maps-bcc5e94c6e675ba6779d681eb13a73bfab089dd1.tar.xz webtools.maps-bcc5e94c6e675ba6779d681eb13a73bfab089dd1.zip |
[313429] F1 help not displaying for the Timeouts section of the server editor.
-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 7f365e5a1..72a299675 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=v20100630b,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.ui +plugin@org.eclipse.wst.server.ui=v20100712b,: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 |