commit cb4a2b326758dff82584354ba7c44dce57757201
author Stephan Herrmann <stephan.herrmann@berlin.de> Thu Jan 25 23:22:39 2018 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> Thu Jan 25 23:22:39 2018 +0100
tree f825154a0ed7e9795868295de975eac8ffea69bd
parent 06150a4609fb32183f1a6e72e449ac6970c746ca

Releng: open otdt.ui in 2.7.0 after fix for compile errors

releng/map/otdt.map.in

diff --git a/releng/map/otdt.map.in b/releng/map/otdt.map.in
index 25ae1a9..4d9f8f1 100644
--- a/releng/map/otdt.map.in
+++ b/releng/map/otdt.map.in
@@ -16,7 +16,7 @@
 

 plugin@org.eclipse.objectteams.otdt.debug=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.debug,tag=builds/201706061122

 plugin@org.eclipse.objectteams.otdt.debug.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.debug.ui,tag=builds/201606070956

-plugin@org.eclipse.objectteams.otdt.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.ui,tag=builds/201706061122

+plugin@org.eclipse.objectteams.otdt.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.ui

 plugin@org.eclipse.objectteams.otdt.doc=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.doc,tag=builds/201606070956

 !plugin@org.eclipse.objectteams.otdt.metrics=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.metrics,tag=builds/201101290806