From 99811e34dd19d9c5fcd0638bd5a7a1b23c61fe64 Mon Sep 17 00:00:00 2001 From: Dany LE Date: Fri, 29 Jul 2022 13:29:34 +0200 Subject: [PATCH] rename --- Jenkinfile => Jenkinsfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Jenkinfile => Jenkinsfile (100%) diff --git a/Jenkinfile b/Jenkinsfile similarity index 100% rename from Jenkinfile rename to Jenkinsfile