summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLarry Isaacs2013-11-30 15:17:41 (EST)
committerLarry Isaacs2013-11-30 15:17:41 (EST)
commitaa7d68b138f1c74d36b34d2a80fe545e43a0f8ff (patch)
treeac08bfc77c57b08b4e5aeac6c40676dba8a87320
parent79171e9f568d35a2aadc2a2dd69d0d1700288e88 (diff)
downloadwebtools.maps-aa7d68b138f1c74d36b34d2a80fe545e43a0f8ff.zip
webtools.maps-aa7d68b138f1c74d36b34d2a80fe545e43a0f8ff.tar.gz
webtools.maps-aa7d68b138f1c74d36b34d2a80fe545e43a0f8ff.tar.bz2
[422340] Add Tomcat 8 support to WTP Server Tools
-rw-r--r--releng.servertools/maps/jst-server.map4
1 files changed, 2 insertions, 2 deletions
diff --git a/releng.servertools/maps/jst-server.map b/releng.servertools/maps/jst-server.map
index 1c8a659..2726da7 100644
--- a/releng.servertools/maps/jst-server.map
+++ b/releng.servertools/maps/jst-server.map
@@ -10,8 +10,8 @@ plugin@org.eclipse.jst.server.preview.adapter=GIT,tag=v20130918_1641,repo=git://
plugin@org.eclipse.jst.server.generic.core=GIT,tag=v20130918_1641,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=v20130918_1641,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=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.tomcat.core
-plugin@org.eclipse.jst.server.tomcat.ui=GIT,tag=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.tomcat.ui
+plugin@org.eclipse.jst.server.tomcat.core=GIT,tag=v20131130_1502,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.tomcat.core
+plugin@org.eclipse.jst.server.tomcat.ui=GIT,tag=v20131130_1502,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.tomcat.ui
plugin@org.eclipse.jst.server.generic.jboss=GIT,tag=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.generic.jboss
plugin@org.eclipse.jst.server.generic.jonas=GIT,tag=v20130918_1641,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.jst.server.generic.jonas