From 09548f7f905f0b1efe9002d2193b8f42280e64c7 Mon Sep 17 00:00:00 2001 From: Denes Matetelki Date: Tue, 18 Dec 2018 12:58:28 +0100 Subject: [PATCH] one Jenkinsfile --- Jenkinsfile-a => Jenkinsfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Jenkinsfile-a => Jenkinsfile (100%) diff --git a/Jenkinsfile-a b/Jenkinsfile similarity index 100% rename from Jenkinsfile-a rename to Jenkinsfile