diff options
| author | Roberto Sanchez | 2013-06-04 18:04:56 +0000 |
|---|---|---|
| committer | Roberto Sanchez | 2013-06-04 18:04:56 +0000 |
| commit | 99f592613a43f7b8c7b2159fa4678654e57af62d (patch) | |
| tree | afce89a242e2d3b6b9a2b5ca83afd8f8a37d9ce0 | |
| parent | 7ad1dcdf8b5836229459d51b53fe8653df702816 (diff) | |
| download | webtools.maps-99f592613a43f7b8c7b2159fa4678654e57af62d.tar.gz webtools.maps-99f592613a43f7b8c7b2159fa4678654e57af62d.tar.xz webtools.maps-99f592613a43f7b8c7b2159fa4678654e57af62d.zip | |
[409784] Problem Importing Java EE 7 Ear with nested modules
| -rw-r--r-- | releng.jeetools/maps/jst-j2ee-basic.map | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/releng.jeetools/maps/jst-j2ee-basic.map b/releng.jeetools/maps/jst-j2ee-basic.map index 1eb23299a..aa6c07a1f 100644 --- a/releng.jeetools/maps/jst-j2ee-basic.map +++ b/releng.jeetools/maps/jst-j2ee-basic.map @@ -8,8 +8,8 @@ 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=v201306012300,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee -plugin@org.eclipse.jst.j2ee.core=GIT,tag=v201305311500,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee.core +plugin@org.eclipse.jst.j2ee=GIT,tag=v201306041830,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.jst.j2ee +plugin@org.eclipse.jst.j2ee.core=GIT,tag=v201306041830,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=v201305311500,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 |