diff options
| author | Roberto Sanchez | 2013-05-01 21:19:32 +0000 |
|---|---|---|
| committer | Roberto Sanchez | 2013-05-01 21:20:29 +0000 |
| commit | 0b0dda5e6f2c42cdb55eb9745e12d16a9f127124 (patch) | |
| tree | 9dd53f8f58007eee874496991e3b8f48ce879c45 /releng.jeetools/maps | |
| parent | 7d380129815675609761c9d714f750efc0911c82 (diff) | |
| download | webtools.maps-0b0dda5e6f2c42cdb55eb9745e12d16a9f127124.tar.gz webtools.maps-0b0dda5e6f2c42cdb55eb9745e12d16a9f127124.tar.xz webtools.maps-0b0dda5e6f2c42cdb55eb9745e12d16a9f127124.zip | |
[402924] When module deleted, can't tell if the module was external or not
Diffstat (limited to 'releng.jeetools/maps')
| -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 |