tree fff0ae56a17ba3c73b8dcf89c20744660636ee6c
parent 0794a1adbc3245fb645ddfb965e64230b22ff2a6
author peusterm <manuel.peuster@uni-paderborn.de> 1569937148 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1569938022 +0200

Change in Jenkins file

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