From cd1cefafd014895350558a6096fbf525b72774c3 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 27 Dec 2016 15:39:52 +0100
Subject: [PATCH] rename jenkinsfile

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

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