jenkinsfile

This commit is contained in:
unknown 2020-04-03 15:38:58 +02:00
parent 559229f882
commit 10c83c1edb