diff options
| author | eyuen | 2011-03-11 22:09:21 +0000 |
|---|---|---|
| committer | eyuen | 2011-03-11 22:09:21 +0000 |
| commit | 4151ad72caeb957a35bb338f37647b2d3e237282 (patch) | |
| tree | 24e45d4dd52b7d2aac477e13aabc106138c6e89e | |
| parent | 9667ad7a52c8fd1f92aa905b1878dba376d635e9 (diff) | |
| download | webtools.maps-4151ad72caeb957a35bb338f37647b2d3e237282.tar.gz webtools.maps-4151ad72caeb957a35bb338f37647b2d3e237282.tar.xz webtools.maps-4151ad72caeb957a35bb338f37647b2d3e237282.zip | |
[328311] RuntimePreferencePage does not update if new runtimes are added
| -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 fe551e7a7..fa80738de 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=v20110131,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/plugins/org.eclipse.wst.server.ui +plugin@org.eclipse.wst.server.ui=v20110311_1708,: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 |