From ed5907feabd564ca56aca180b16a9295f2042b0e Mon Sep 17 00:00:00 2001 From: Ben Date: Mon, 30 Jan 2023 15:33:01 +0100 Subject: [PATCH] Rename Jenkinsfile to be standard with other --- JenkinsFile => Jenkinsfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename JenkinsFile => Jenkinsfile (100%) diff --git a/JenkinsFile b/Jenkinsfile similarity index 100% rename from JenkinsFile rename to Jenkinsfile