From 4fc9191afaf812bf7667733b59f671f6f43ce2d8 Mon Sep 17 00:00:00 2001 From: Benjamin Stein Date: Tue, 12 Sep 2017 09:52:56 -0700 Subject: [PATCH] flatten jenkinsfile directory (#19) * flatten jenkinsfile directory * move full-demo jenkinsfile up one level --- jenkinsfiles/{full-demo => }/full-demo | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename jenkinsfiles/{full-demo => }/full-demo (100%) diff --git a/jenkinsfiles/full-demo/full-demo b/jenkinsfiles/full-demo similarity index 100% rename from jenkinsfiles/full-demo/full-demo rename to jenkinsfiles/full-demo