From edfac9a7cb30f1aa8b5b35867280ee8135469db1 Mon Sep 17 00:00:00 2001 From: francisu Date: Sun, 20 Aug 2017 20:59:07 -0700 Subject: [PATCH] Rename JenkinsFile to 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