| commit | baeab7bcd1a8d65301d44c84e091845090010de5 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Oct 01 16:03:08 2019 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Oct 01 16:09:13 2019 +0200 |
| tree | 23d2320e9e009bc56b2fe26b0195b74795a2d159 | |
| parent | 8b789997de031bade6511f44aeee8fe4055f0e5a [diff] |
CI: Fix of Jenkins file Change-Id: Ide6a3f4c67b737c19264dd9ed894ede4865e0284 Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>