Update jenkinsfile

This commit is contained in:
2018-08-08 09:23:32 +00:00
parent b1925b31ce
commit 01a0cd1cae

View File