From fb855ea324f088aeb2f3a75a96e08d673cba3d92 Mon Sep 17 00:00:00 2001
From: lemoer <git@irrelefant.net>
Date: Mon, 17 Jun 2019 20:54:57 +0200
Subject: [PATCH] Move Jenkinsfile to contrib/ci

---
 Jenkinsfile => contrib/ci/Jenkinsfile | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Jenkinsfile => contrib/ci/Jenkinsfile (100%)

diff --git a/Jenkinsfile b/contrib/ci/Jenkinsfile
similarity index 100%
rename from Jenkinsfile
rename to contrib/ci/Jenkinsfile