Skip to main content
summaryrefslogtreecommitdiffstats
path: root/releng
diff options
context:
space:
mode:
Diffstat (limited to 'releng')
-rw-r--r--releng/map/otdt.map.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/map/otdt.map.in b/releng/map/otdt.map.in
index ce85bc773..a2d45149b 100644
--- a/releng/map/otdt.map.in
+++ b/releng/map/otdt.map.in
@@ -8,7 +8,7 @@ feature@org.eclipse.objectteams.otequinox=GIT,repo=git://git.eclipse.org/gitroot
feature@org.eclipse.objectteams.otequinox.turbo=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=features/org.eclipse.objectteams.otequinox.turbo.feature,tag=builds/201506091717
!-- Also don't use version numbers for those plugins that hold the various otre jars: --
-plugin@org.eclipse.jdt.core,3.12.2.v_OTDT_r253_qualifier=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=org.eclipse.jdt.core,tag=branches/maintenance/OTDT_2.5.x
+plugin@org.eclipse.jdt.core,3.12.3.v_OTDT_r253_qualifier=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=org.eclipse.jdt.core,tag=branches/maintenance/OTDT_2.5.x
!next plug-in don't specify version so that org.eclipse.objectteams.runtime/customBuildCallbacks.xml will find the plug-in directory:
plugin@org.eclipse.objectteams.otdt=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt,tag=branches/maintenance/OTDT_2.5.x

Back to the top