From c42bef34fc150f16fcccde2c30ce1579b93bd487 Mon Sep 17 00:00:00 2001
From: Jakub Henyk <jakhen@st.amu.edu.pl>
Date: Tue, 28 Mar 2023 12:24:47 +0200
Subject: [PATCH] Fixed Jenkinsfile

---
 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