From 14383ce589313d56f0d7eb0c9f9147c361b9880c Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sun, 7 Jun 2020 15:51:25 -0400
Subject: [PATCH] Rename Jenkinsfile.

---
 Jenkinsfile.groovy => Jenkinsfile | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Jenkinsfile.groovy => Jenkinsfile (100%)

diff --git a/Jenkinsfile.groovy b/Jenkinsfile
similarity index 100%
rename from Jenkinsfile.groovy
rename to Jenkinsfile