diff options
author | tle | 2011-02-24 08:14:07 +0000 |
---|---|---|
committer | tle | 2011-02-24 08:14:07 +0000 |
commit | 83d023af2100f797512ab6586386a6d91f91a369 (patch) | |
tree | 2ed2b9eff72bcc81fe0b1cf2b8267fd5c361a2ec | |
parent | a7a7ee05e3339299f0f158c325a6f76f1118b7c6 (diff) | |
download | webtools.maps-83d023af2100f797512ab6586386a6d91f91a369.tar.gz webtools.maps-83d023af2100f797512ab6586386a6d91f91a369.tar.xz webtools.maps-83d023af2100f797512ab6586386a6d91f91a369.zip |
v201102230002 - Fix for compile error
-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 f0a7cc4dd..241d6a202 100644 --- a/releng.dali/maps/jpaeditor.map +++ b/releng.dali/maps/jpaeditor.map @@ -2,7 +2,7 @@ feature@org.eclipse.jpt.ui.diagrameditor.feature=v201102230001,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/features/org.eclipse.jpt.ui.diagrameditor.feature
feature@org.eclipse.jpt.ui.diagrameditor_sdk.feature=v201102230001,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/features/org.eclipse.jpt.ui.diagrameditor_sdk.feature
-plugin@org.eclipse.jpt.ui.diagrameditor=v201102230001,: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=v201102230002,: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.jpt.ui.diagrameditor.branding=v201102230001,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,org.eclipse.jpa/components/jpa_diagram_editor/plugins/org.eclipse.jpt.ui.diagrameditor.branding
|