diff options
| author | canderson | 2012-07-10 15:33:24 +0000 |
|---|---|---|
| committer | canderson | 2012-07-10 15:33:24 +0000 |
| commit | 8eb1479da1f7fcd8315d7328aa14d994e49d4bfc (patch) | |
| tree | 237c9fbc72d1a4cf2734224a65a720b9717c69a0 | |
| parent | f5575249478f129e8a9fcaa4633f3056c1ac126d (diff) | |
| download | webtools.maps-R3_4_0_patches.tar.gz webtools.maps-R3_4_0_patches.tar.xz webtools.maps-R3_4_0_patches.zip | |
[380581] Export always includes sourcesR3_4_0_patches
| -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 2b5f31832..fc50938ad 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=v201203142300,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/plugins/org.eclipse.jst.j2ee.navigator.ui plugin@org.eclipse.jst.j2ee.ui=v201205170400,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/plugins/org.eclipse.jst.j2ee.ui -plugin@org.eclipse.jst.j2ee=v201207092100,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/plugins/org.eclipse.jst.j2ee +plugin@org.eclipse.jst.j2ee=v201207101600,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/plugins/org.eclipse.jst.j2ee plugin@org.eclipse.jst.j2ee.core=v201205030130,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/plugins/org.eclipse.jst.j2ee.core plugin@org.eclipse.jst.j2ee.web=v201203142300,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/plugins/org.eclipse.jst.j2ee.web plugin@org.eclipse.jst.servlet.ui=v201202011057,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/plugins/org.eclipse.jst.servlet.ui |