| commit | 09a96444ad84d262d363df85ad6cd5fe4cc00889 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Oct 01 16:13:42 2019 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Oct 01 16:19:08 2019 +0200 |
| tree | 244681612604e44c1ec3ffd668feff8ba427ee59 | |
| parent | baeab7bcd1a8d65301d44c84e091845090010de5 [diff] |
CI: Fix in Jenkins file Change-Id: Iac3103cca2259f29631795be6bced3e1f7fefff8 Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>