Jenkinsfile: fix indentation

This commit is contained in:
Matthias Schiffer 2019-12-29 15:59:16 +01:00 committed by Martin Weinelt
parent 2c071657ac
commit 4de6f3ff36