From 6f65d968f4c30a0a7a2cf6d9690c6b373b696f51 Mon Sep 17 00:00:00 2001 From: Jean Visser Date: Mon, 21 May 2018 16:08:32 +0200 Subject: [PATCH] Initial JenkinsFile with python build process --- 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