diff options
author | tle | 2008-10-22 16:20:37 +0000 |
---|---|---|
committer | tle | 2008-10-22 16:20:37 +0000 |
commit | f1e3549b436c452a58fc908abdb397c7cf1083ae (patch) | |
tree | ab24f5eac50f3a2cdd59d7a847c20ca6a58bd9dc | |
parent | e6de2f722855c1c56249bcfbe56b2e96e0fd1bde (diff) | |
download | webtools.maps-f1e3549b436c452a58fc908abdb397c7cf1083ae.tar.gz webtools.maps-f1e3549b436c452a58fc908abdb397c7cf1083ae.tar.xz webtools.maps-f1e3549b436c452a58fc908abdb397c7cf1083ae.zip |
v200810220200 - [250619] Make .JETEmitter project optional
-rw-r--r-- | releng.dali/maps/jpt.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.dali/maps/jpt.map b/releng.dali/maps/jpt.map index d2afb2282..cad4ade9c 100644 --- a/releng.dali/maps/jpt.map +++ b/releng.dali/maps/jpt.map @@ -9,7 +9,7 @@ plugin@org.eclipse.jpt.db=v200810160200,:pserver:anonymous@dev.eclipse.org:/cvsr plugin@org.eclipse.jpt.db.ui=v200805020000,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa/plugins/org.eclipse.jpt.db.ui plugin@org.eclipse.jpt.gen=v200805020000,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa/plugins/org.eclipse.jpt.gen plugin@org.eclipse.jpt.core=v200809020200,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa/plugins/org.eclipse.jpt.core -plugin@org.eclipse.jpt.ui=v200809030200,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa/plugins/org.eclipse.jpt.ui +plugin@org.eclipse.jpt.ui=v200810220200,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa/plugins/org.eclipse.jpt.ui plugin@org.eclipse.jpt.doc.user=v200810160200,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa/plugins/org.eclipse.jpt.doc.user plugin@org.eclipse.jpt.eclipselink.core=v200806050000,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa/plugins/org.eclipse.jpt.eclipselink.core |