Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephan Herrmann2017-01-15 19:25:09 +0000
committerStephan Herrmann2017-01-15 19:25:09 +0000
commita2c55d164765ce8b0085aba130d915be03bb1a70 (patch)
tree44c67c85969ed12f2bf48314c09b12bece037a5b
parent71d6df67cd6e0e3662be78bb9543df95de051f16 (diff)
downloadorg.eclipse.objectteams-a2c55d164765ce8b0085aba130d915be03bb1a70.tar.gz
org.eclipse.objectteams-a2c55d164765ce8b0085aba130d915be03bb1a70.tar.xz
org.eclipse.objectteams-a2c55d164765ce8b0085aba130d915be03bb1a70.zip
Releng: version fix after update to v_OTDT_r253
-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 3cf73760f..ce85bc773 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_r252_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.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
!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