tree 244681612604e44c1ec3ffd668feff8ba427ee59
parent baeab7bcd1a8d65301d44c84e091845090010de5
author peusterm <manuel.peuster@uni-paderborn.de> 1569939222 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1569939548 +0200

CI: Fix in Jenkins file

Change-Id: Iac3103cca2259f29631795be6bced3e1f7fefff8
Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>