diff options
-rw-r--r-- | releng.jeetools/maps/jst-j2ee-basic.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.jeetools/maps/jst-j2ee-basic.map b/releng.jeetools/maps/jst-j2ee-basic.map index 6bf691178..37768c39e 100644 --- a/releng.jeetools/maps/jst-j2ee-basic.map +++ b/releng.jeetools/maps/jst-j2ee-basic.map @@ -8,7 +8,7 @@ plugin@org.eclipse.jst.j2ee.navigator.ui=GIT,tag=v201203142300,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.navigator.ui plugin@org.eclipse.jst.j2ee.ui=GIT,tag=v201304172200,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.ui -plugin@org.eclipse.jst.j2ee=GIT,tag=v201305012100,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee +plugin@org.eclipse.jst.j2ee=GIT,tag=v201305012200,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee plugin@org.eclipse.jst.j2ee.core=GIT,tag=v201305012100,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.core plugin@org.eclipse.jst.j2ee.web=GIT,tag=v201305012100,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.web plugin@org.eclipse.jst.servlet.ui=GIT,tag=v201303151600,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.servlet.ui |