From d6f4880c71f2c76e3be229927b6931fbac3c5498 Mon Sep 17 00:00:00 2001 From: unknown Date: Fri, 3 Apr 2020 11:21:44 +0200 Subject: [PATCH] jenkinsfile --- jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkinsfile b/jenkinsfile index ffd6cc0..b71e123 100644 --- a/jenkinsfile +++ b/jenkinsfile @@ -7,4 +7,4 @@ pipeline { } } } -} \ No newline at end of file +} \ No newline at end of file