diff options
| author | eyuen | 2013-12-18 21:49:06 +0000 |
|---|---|---|
| committer | eyuen | 2013-12-18 21:49:06 +0000 |
| commit | 5186de9fde15a08485d3cdf7e3b1f030c4f079e7 (patch) | |
| tree | c7801b91ac0427c990b44d0d8b7730a00fde67e9 /releng.servertools/maps | |
| parent | 95a13de833f34c0259be6fff73a6b209b06a3fd8 (diff) | |
| download | webtools.maps-5186de9fde15a08485d3cdf7e3b1f030c4f079e7.tar.gz webtools.maps-5186de9fde15a08485d3cdf7e3b1f030c4f079e7.tar.xz webtools.maps-5186de9fde15a08485d3cdf7e3b1f030c4f079e7.zip | |
[424213] [Luna] Modify url in discovery plugin for jbosstools update
site
Diffstat (limited to 'releng.servertools/maps')
| -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 61ce43d52..05ec573db 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=v20130918_1641,repo=git://git plugin@org.eclipse.wst.server.ui=GIT,tag=v20131128_1147,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=v20130918_1641,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=v20131218_1646,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery !***************
\ No newline at end of file |