Rename Jenkinsfile to be standard with other

This commit is contained in:
Ben 2023-01-30 15:33:01 +01:00
parent ef580e0e5d
commit ed5907feab

View File