diff options
author | tle | 2011-02-19 18:01:46 +0000 |
---|---|---|
committer | tle | 2011-02-19 18:01:46 +0000 |
commit | c030bfd323418294fa547a20d362ed9d9a982bcd (patch) | |
tree | f0faad0ea8a20fd2c02f5c3719b6731ce3104deb | |
parent | 94be5edde169c72241e8964f4c5ecd8c87f2fdc7 (diff) | |
download | webtools.maps-c030bfd323418294fa547a20d362ed9d9a982bcd.tar.gz webtools.maps-c030bfd323418294fa547a20d362ed9d9a982bcd.tar.xz webtools.maps-c030bfd323418294fa547a20d362ed9d9a982bcd.zip |
Added Graphiti bundles.
-rw-r--r-- | releng.dali/maps/jpaeditor.map | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/releng.dali/maps/jpaeditor.map b/releng.dali/maps/jpaeditor.map index 3858e2b22..ce3d9e5a4 100644 --- a/releng.dali/maps/jpaeditor.map +++ b/releng.dali/maps/jpaeditor.map @@ -2,3 +2,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.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/
+plugin@org.eclipse.graphiti.ui,0.7.1=p2IU,id=org.eclipse.graphiti.ui,version=0.7.1.v20110111-0756,repository=http://download.eclipse.org/graphiti/updates/0.7.1/
|