diff options
| author | sdimov | 2011-08-10 13:26:43 +0000 |
|---|---|---|
| committer | sdimov | 2011-08-10 13:26:43 +0000 |
| commit | 590c34386ff71da063458176154384ff1dc494b9 (patch) | |
| tree | d8e42d5cae34895697dffd67d9f59f66308f36ec /releng.dali/maps/jpaeditor.map | |
| parent | 339b9559d28416d66b96535dd1ac05377ba5b37a (diff) | |
| download | webtools.maps-590c34386ff71da063458176154384ff1dc494b9.tar.gz webtools.maps-590c34386ff71da063458176154384ff1dc494b9.tar.xz webtools.maps-590c34386ff71da063458176154384ff1dc494b9.zip | |
Plugin version fix
Diffstat (limited to 'releng.dali/maps/jpaeditor.map')
| -rw-r--r-- | releng.dali/maps/jpaeditor.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.dali/maps/jpaeditor.map b/releng.dali/maps/jpaeditor.map index 817ca4c47..0738b67d2 100644 --- a/releng.dali/maps/jpaeditor.map +++ b/releng.dali/maps/jpaeditor.map @@ -4,7 +4,7 @@ feature@org.eclipse.jpt.jpadiagrameditor_sdk.feature=v201108100925,:pserver:anon plugin@org.eclipse.jpt.jpadiagrameditor.ui=v201108101152,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.ui
-plugin@org.eclipse.jpt.jpadiagrameditor.doc.user=v201108092000,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user
+plugin@org.eclipse.jpt.jpadiagrameditor.doc.user=v201108101326,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user
plugin@org.eclipse.jpt.jpadiagrameditor.branding=v201103020000,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.branding
|