Browse Source

modify Jenkinsfile

huqi 5 years ago
parent
commit
d78c160fa3
1 changed files with 0 additions and 0 deletions
  1. 0 0
      Jenkinsfile

+ 0 - 0
jenkinsfile → Jenkinsfile