From 8d499a5e9a7590b30946054e2241590fb7b49e8a Mon Sep 17 00:00:00 2001 From: Diego de la Iglesia Regueiro Date: Tue, 21 May 2024 13:37:36 +0200 Subject: [PATCH] Fix Name --- 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