diff options
| author | avera | 2010-08-25 20:24:51 +0000 |
|---|---|---|
| committer | avera | 2010-08-25 20:24:51 +0000 |
| commit | 34ac86291b3a8cf3bbd893fd19f91148658138b6 (patch) | |
| tree | 2a4f1afcca374dc07c1aa4155042e7b4b67fc21b /releng.servertools/maps/wst-server-ui.map | |
| parent | 34622821edae711a5b1699b5ee1f79f3c61651fb (diff) | |
| download | webtools.maps-34ac86291b3a8cf3bbd893fd19f91148658138b6.tar.gz webtools.maps-34ac86291b3a8cf3bbd893fd19f91148658138b6.tar.xz webtools.maps-34ac86291b3a8cf3bbd893fd19f91148658138b6.zip | |
[323542] Need to be able to use labels for server status/state other than the existing ones.
[322397] The entire module cache is destroyed if a publisher modified modules.
Diffstat (limited to 'releng.servertools/maps/wst-server-ui.map')
| -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 18dc760c9..e7b10b3da 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=v20100823,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.ui +plugin@org.eclipse.wst.server.ui=v20100825b,: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=v20100707b,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.discovery |