Browse Source

change name of jenkinsfile

Vladimir Tomishinets 6 years ago
parent
commit
f3e49bc424
1 changed files with 0 additions and 0 deletions
  1. 0 0
      Jenkinsfile-dev

+ 0 - 0
Jenkinsfile.new → Jenkinsfile-dev