From 4c6793ca6c5effdb6c1b7c74fcdddf3410ce56ac Mon Sep 17 00:00:00 2001 From: David Prevot Date: Tue, 12 Apr 2022 17:45:24 +0200 Subject: [PATCH] Hide Jenkinsfile --- 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