diff options
| -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 8cb30fd33..c83f997c5 100644 --- a/releng.servertools/maps/wst-server-ui.map +++ b/releng.servertools/maps/wst-server-ui.map @@ -7,6 +7,6 @@ plugin@org.eclipse.wst.internet.monitor.ui=GIT,tag=v20130501_1206,repo=git://git plugin@org.eclipse.wst.server.ui=GIT,tag=v20130403_1358,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=v20130413_1400,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery +plugin@org.eclipse.wst.server.discovery=GIT,tag=v20130501_1213,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery !***************
\ No newline at end of file |