From 5e81de98c138eba79492468475d0e301563de494 Mon Sep 17 00:00:00 2001 From: Diego de la Iglesia Regueiro Date: Tue, 21 May 2024 13:37:15 +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