diff options
| author | eyuen | 2013-05-01 21:05:55 +0000 |
|---|---|---|
| committer | eyuen | 2013-05-01 21:05:55 +0000 |
| commit | 7d380129815675609761c9d714f750efc0911c82 (patch) | |
| tree | 4c17f666466cf2e8d15833ebe5102565c083091e /releng.servertools/maps | |
| parent | c6cabf07a56f5215d53140a36c09fd7f99f06fa7 (diff) | |
| download | webtools.maps-7d380129815675609761c9d714f750efc0911c82.tar.gz webtools.maps-7d380129815675609761c9d714f750efc0911c82.tar.xz webtools.maps-7d380129815675609761c9d714f750efc0911c82.zip | |
[399674] ServerUtil.modifyModules() uses parents randomly
Diffstat (limited to 'releng.servertools/maps')
| -rw-r--r-- | releng.servertools/maps/wst-server-core.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/wst-server-core.map b/releng.servertools/maps/wst-server-core.map index 109c288d6..480878b1c 100644 --- a/releng.servertools/maps/wst-server-core.map +++ b/releng.servertools/maps/wst-server-core.map @@ -5,7 +5,7 @@ plugin@org.eclipse.wst.internet.monitor.core=GIT,tag=v20110419,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.internet.monitor.core -plugin@org.eclipse.wst.server.core=GIT,tag=v20130501_1442,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.core +plugin@org.eclipse.wst.server.core=GIT,tag=v20130501_1704,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.core plugin@org.eclipse.wst.server.http.core=GIT,tag=v20090429,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.http.core plugin@org.eclipse.wst.server.preview=GIT,tag=v20130501_1649,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.preview |