Christian Kühnel 4465b0fc52 changed output paths of lint.sh		2020-03-26 10:19:20 +01:00
..
Jenkinsfile	changed output paths of lint.sh	2020-03-26 10:19:20 +01:00