From 0034d8b617fe8ed9c03397dd3dd4f52139dd8419 Mon Sep 17 00:00:00 2001 From: Leonidas Apostolidis Date: Fri, 9 Jul 2021 10:41:27 +0000 Subject: [PATCH] Deprecate Jenkinsfile --- Jenkinsfile => Jenkinsfile.deprecated | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Jenkinsfile => Jenkinsfile.deprecated (100%) diff --git a/Jenkinsfile b/Jenkinsfile.deprecated similarity index 100% rename from Jenkinsfile rename to Jenkinsfile.deprecated