diff options
| -rw-r--r-- | releng.servertools/maps/jst-server.map | 2 | ||||
| -rw-r--r-- | releng.servertools/maps/wst-server-core.map | 2 | ||||
| -rw-r--r-- | releng.servertools/maps/wst-server-ui.map | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/releng.servertools/maps/jst-server.map b/releng.servertools/maps/jst-server.map index 988a77151..0773e35be 100644 --- a/releng.servertools/maps/jst-server.map +++ b/releng.servertools/maps/jst-server.map @@ -7,7 +7,7 @@ plugin@org.eclipse.jst.server.core=GIT,tag=v20120503_1042,repo=git://git.eclipse plugin@org.eclipse.jst.server.ui=GIT,tag=v20110419,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.ui plugin@org.eclipse.jst.server.preview.adapter=GIT,tag=v20130123_1813,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.preview.adapter -plugin@org.eclipse.jst.server.generic.core=GIT,tag=v20101219,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.generic.core +plugin@org.eclipse.jst.server.generic.core=GIT,tag=v20130215_1019,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.generic.core plugin@org.eclipse.jst.server.generic.ui=GIT,tag=v20100428,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.generic.ui plugin@org.eclipse.jst.server.tomcat.core=GIT,tag=v20121206_1817,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.tomcat.core diff --git a/releng.servertools/maps/wst-server-core.map b/releng.servertools/maps/wst-server-core.map index 938623d04..8c86e01f0 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=v20130117_1140,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=v20130215_1019,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=v20130123_1813,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.preview diff --git a/releng.servertools/maps/wst-server-ui.map b/releng.servertools/maps/wst-server-ui.map index 21ea1b349..8b18b040c 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=v20120306_1603,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=v20130124_1611,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=v20130215_1019,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=v20120403_0949,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery |