Renaming jenkinsfile

This commit is contained in:
Stanley Tsang
2019-05-21 15:54:41 +00:00
parent 4bfa506a6b
commit afa945d6e6
View File