chore: rename jenkinsfile to Jenkinsfile
This commit is contained in:
parent
1717440301
commit
b505d6e0cc
1 changed files with 0 additions and 0 deletions
0
jenkinsfile → Jenkinsfile
vendored
0
jenkinsfile → Jenkinsfile
vendored
Reference in a new issue