From dab0535c25f642d6fccfd1d291de14e3c0704323 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 13 Dec 2018 14:19:04 +0100
Subject: [PATCH] eactivating Jenkins

---
 Jenkinsfile_mpi_bck => Jenkinsfile_mpi | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Jenkinsfile_mpi_bck => Jenkinsfile_mpi (100%)

diff --git a/Jenkinsfile_mpi_bck b/Jenkinsfile_mpi
similarity index 100%
rename from Jenkinsfile_mpi_bck
rename to Jenkinsfile_mpi
-- 
GitLab