From 2a14d07c7dfa2889cfaa05c625c803651f259162 Mon Sep 17 00:00:00 2001
From: Louis <louis.royer@univ-tlse3.fr>
Date: Tue, 10 Mar 2020 17:39:55 +0100
Subject: [PATCH] Rename to 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