diff options
| author | eyuen | 2014-01-14 22:41:38 +0000 |
|---|---|---|
| committer | eyuen | 2014-01-14 22:41:38 +0000 |
| commit | 0d742f4e57a336344c3423af73075c83c96d1a44 (patch) | |
| tree | 14312184686d9b7fe0bad30433c17d10d0bcd8d2 /releng.servertools/maps | |
| parent | b464820374bdd05e242d21021782c7afdd1dbd09 (diff) | |
| download | webtools.maps-0d742f4e57a336344c3423af73075c83c96d1a44.tar.gz webtools.maps-0d742f4e57a336344c3423af73075c83c96d1a44.tar.xz webtools.maps-0d742f4e57a336344c3423af73075c83c96d1a44.zip | |
[344543] Extension for the Delete Server Dialog
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 8078fdc62..d8b79f84a 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=v20140106_1417,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=v20140114_1738,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 |