summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRoberto Sanchez2013-05-01 17:19:32 (EDT)
committerRoberto Sanchez2013-05-01 17:20:29 (EDT)
commit0b0dda5e6f2c42cdb55eb9745e12d16a9f127124 (patch)
tree9dd53f8f58007eee874496991e3b8f48ce879c45
parent7d380129815675609761c9d714f750efc0911c82 (diff)
downloadwebtools.maps-0b0dda5e6f2c42cdb55eb9745e12d16a9f127124.zip
webtools.maps-0b0dda5e6f2c42cdb55eb9745e12d16a9f127124.tar.gz
webtools.maps-0b0dda5e6f2c42cdb55eb9745e12d16a9f127124.tar.bz2
[402924] When module deleted, can't tell if the module was external or not
-rw-r--r--releng.jeetools/maps/jst-j2ee-basic.map2
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 6bf6911..37768c3 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