From ba992b85586e1e6bb324dcfb684a1cda0a1fbfd3 Mon Sep 17 00:00:00 2001
From: Dominik Chilla <dominik@zwackl.de>
Date: Wed, 12 Jun 2019 15:59:45 +0200
Subject: [PATCH] Jenkins

---
 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