From 4e9ddcabf98f53dd6d96ddfcba2344217c91e001 Mon Sep 17 00:00:00 2001 From: Andrea Cosentino Date: Tue, 22 Aug 2023 08:23:38 +0200 Subject: [PATCH] Rename Jenkinsfile Signed-off-by: Andrea Cosentino --- jenkinsfile.ppc64le => Jenkinsfile.ppc64le | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename jenkinsfile.ppc64le => Jenkinsfile.ppc64le (100%) diff --git a/jenkinsfile.ppc64le b/Jenkinsfile.ppc64le similarity index 100% rename from jenkinsfile.ppc64le rename to Jenkinsfile.ppc64le