From bd3ee8c0c6c9b2e1a9a516f36edbcc2cef2c4273 Mon Sep 17 00:00:00 2001 From: tfl Date: Fri, 8 Jul 2022 19:53:55 +0200 Subject: [PATCH] re-added Jenkinsfile --- Jenkinsfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Jenkinsfile diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..e69de29