diff options
| -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 ad474358a..c73dea3e7 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=v201108023010,: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=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.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.branding=v201103020000,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.branding
|