From e3e00b1716acb83667287d8c74c3240326190ab2 Mon Sep 17 00:00:00 2001 From: Gary Talent Date: Sat, 16 May 2020 22:46:48 -0500 Subject: [PATCH] [nostalgia] Move Jenkinsfile to allow for platform specificity --- Jenkinsfile => jenkins/linux/Jenkinsfile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Jenkinsfile => jenkins/linux/Jenkinsfile (100%) diff --git a/Jenkinsfile b/jenkins/linux/Jenkinsfile similarity index 100% rename from Jenkinsfile rename to jenkins/linux/Jenkinsfile