diff options
| author | eyuen | 2014-04-16 21:36:29 +0000 |
|---|---|---|
| committer | eyuen | 2014-04-16 21:36:29 +0000 |
| commit | fd6b373a40eefcc5fbab477c2c8d47b46d4cdf90 (patch) | |
| tree | 982632868377f7293dc115d09e2edb3cdc34857a | |
| parent | c380a927015ad3dd7c5170714cc380760b254b4d (diff) | |
| download | webtools.maps-fd6b373a40eefcc5fbab477c2c8d47b46d4cdf90.tar.gz webtools.maps-fd6b373a40eefcc5fbab477c2c8d47b46d4cdf90.tar.xz webtools.maps-fd6b373a40eefcc5fbab477c2c8d47b46d4cdf90.zip | |
[431973] ServerEditorOverviewPageModifier has no access to
commandManager
| -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 c2a2dc1d0..0af2cc4fd 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=v20140311_1036,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=v20140416_1734,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=v20131218_1646,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery |