diff options
author | tle | 2011-05-12 21:43:08 +0000 |
---|---|---|
committer | tle | 2011-05-12 21:43:08 +0000 |
commit | 7be2594e2c5714f3966fc9dc1816caaa108065a9 (patch) | |
tree | 3d9a3c00feebe40244fd442ed349edd51e249ecb | |
parent | 4f702a7ebc05710b05f0d6e5fab4768b3843921f (diff) | |
download | webtools.maps-7be2594e2c5714f3966fc9dc1816caaa108065a9.tar.gz webtools.maps-7be2594e2c5714f3966fc9dc1816caaa108065a9.tar.xz webtools.maps-7be2594e2c5714f3966fc9dc1816caaa108065a9.zip |
v201105120001 - Fix for: 345609
-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 34d96a1d9..b7b8ece03 100644 --- a/releng.dali/maps/jpaeditor.map +++ b/releng.dali/maps/jpaeditor.map @@ -4,7 +4,7 @@ feature@org.eclipse.jpt.jpadiagrameditor_sdk.feature=v201104110000,:pserver:anon plugin@org.eclipse.jpt.jpadiagrameditor.ui=v201105120000,: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=v201105120000,: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=v201105120001,: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
|