Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephan Herrmann2017-02-14 22:47:46 +0000
committerStephan Herrmann2017-02-14 22:47:46 +0000
commit56dc639da292cbb7c564cd46b130a9e6f4c51d9b (patch)
treeac0e2bed3998e6e5b270002785259f7d5979d44d
parent4f9466cde0d0f26d7b524d5aa05ea2dce4b4727a (diff)
downloadorg.eclipse.objectteams-56dc639da292cbb7c564cd46b130a9e6f4c51d9b.tar.gz
org.eclipse.objectteams-56dc639da292cbb7c564cd46b130a9e6f4c51d9b.tar.xz
org.eclipse.objectteams-56dc639da292cbb7c564cd46b130a9e6f4c51d9b.zip
Releng: more update for M20170208-0400 (jdt.core version)
-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