Rename to Jenkinsfile

4 years ago · 2a14d07c7d
parent 0a651d6ccf
commit 2a14d07c7d
1 changed files with 0 additions and 0 deletions
diff --git a/jenkinsfile → Jenkinsfile b/jenkinsfile → Jenkinsfile