856b451de80bcdb1326486fac35aa74a87bde24b - gerrit/cdo/cdo.infrastructure - Git at Google

commit: 856b451de80bcdb1326486fac35aa74a87bde24b
[log]
author: Eike Stepper <stepper@esc-net.de>
Thu Oct 24 16:23:31 2019 +0200
committer: Eike Stepper <stepper@esc-net.de>
Thu Oct 24 16:23:31 2019 +0200
tree: b5a8595599852e1313eec9eccbef7a2fa5b35041
parent: 83bae1815aefe93cfa76e82566993ad77a127017 [diff]

Move promotion to Jenkins

org.eclipse.emf.cdo.releng.promotion/build.xml[diff]

1 file changed

tree: b5a8595599852e1313eec9eccbef7a2fa5b35041