diff options
| author | tle | 2011-02-19 22:23:38 +0000 |
|---|---|---|
| committer | tle | 2011-02-19 22:23:38 +0000 |
| commit | 91bdef6018abf385de0cf70b12ab17d201cd9374 (patch) | |
| tree | 0a646c74de988a8695067ada8247c7fbc66419db | |
| parent | 3ab4621941c4a0c34696042c9d9bb3ba3913c1e9 (diff) | |
| download | webtools.maps-91bdef6018abf385de0cf70b12ab17d201cd9374.tar.gz webtools.maps-91bdef6018abf385de0cf70b12ab17d201cd9374.tar.xz webtools.maps-91bdef6018abf385de0cf70b12ab17d201cd9374.zip | |
Added dependency plugin emf.transaction
| -rw-r--r-- | releng.dali/maps/jpaeditor.map | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/releng.dali/maps/jpaeditor.map b/releng.dali/maps/jpaeditor.map index ce3d9e5a4..a39a59090 100644 --- a/releng.dali/maps/jpaeditor.map +++ b/releng.dali/maps/jpaeditor.map @@ -3,6 +3,8 @@ feature@org.eclipse.jpt.ui.diagrameditor.feature=v201102110000,:pserver:anonymou plugin@org.eclipse.jpt.ui.diagrameditor=v201102110000,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/plugins/org.eclipse.jpt.ui.diagrameditor
plugin@org.eclipse.jpt.ui.diagrameditor.test=v201102110000,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/tests/org.eclipse.jpt.ui.diagrameditor.test
+plugin@org.eclipse.emf.transaction,1.4.0=p2IU,id=org.eclipse.emf.transaction,version=1.4.0.v20100331-1738,repository=http://download.eclipse.org/modeling/emf/updates/
+
plugin@org.eclipse.graphiti,0.7.1=p2IU,id=org.eclipse.graphiti,version=0.7.1.v20110110-1225,repository=http://download.eclipse.org/graphiti/updates/0.7.1/
plugin@org.eclipse.graphiti.mm,0.7.1=p2IU,id=org.eclipse.graphiti.mm,version=0.7.1.v20110110-1225,repository=http://download.eclipse.org/graphiti/updates/0.7.1/
plugin@org.eclipse.graphiti.pattern,0.7.1=p2IU,id=org.eclipse.graphiti.pattern,version=0.7.1.v20110110-1225,repository=http://download.eclipse.org/graphiti/updates/0.7.1/
|