Rename JenkinsFile to Jenkinsfile

This commit is contained in:
Chen 2020-03-08 18:47:38 -04:00 committed by GitHub
parent 6a7f695017
commit 9a75627647
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file