From afa945d6e679799cab04434ef4b14b5eae92db10 Mon Sep 17 00:00:00 2001 From: Stanley Tsang Date: Tue, 21 May 2019 15:54:41 +0000 Subject: [PATCH] Renaming 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