diff options
| author | Stephan Herrmann | 2017-02-14 22:47:46 +0000 |
|---|---|---|
| committer | Stephan Herrmann | 2017-02-14 22:47:46 +0000 |
| commit | 56dc639da292cbb7c564cd46b130a9e6f4c51d9b (patch) | |
| tree | ac0e2bed3998e6e5b270002785259f7d5979d44d /releng/map | |
| parent | 4f9466cde0d0f26d7b524d5aa05ea2dce4b4727a (diff) | |
| download | org.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)
Diffstat (limited to 'releng/map')
| -rw-r--r-- | releng/map/otdt.map.in | 2 |
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
|