From 15f97e6afcde1fcd761d8945a319838a94a5cd9c Mon Sep 17 00:00:00 2001 From: AWieczarek Date: Wed, 20 Mar 2024 14:36:41 +0100 Subject: [PATCH] Fix Jenkinsfile extension --- Jenkinsfile.txt => Jenkinsfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Jenkinsfile.txt => Jenkinsfile (100%) diff --git a/Jenkinsfile.txt b/Jenkinsfile similarity index 100% rename from Jenkinsfile.txt rename to Jenkinsfile