From 88ff40dffc5f9a6c4f0799c86a1d35255d3f226d Mon Sep 17 00:00:00 2001
From: Nikky Ai <root@nikky.moe>
Date: Sat, 27 Jan 2018 04:20:13 +0100
Subject: [PATCH] fix jenkins file capitalization

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