Merge branch 'master' into dev

EamonKeane · Sep 27, 2017 · 37b3cb1 · 37b3cb1
2 parents 422aafe + 9fbf618
commit 37b3cb1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -2,7 +2,9 @@
 
 // load pipeline functions
 // Requires pipeline-github-lib plugin to load library from github
+
 @Library('github.com/lachie83/jenkins-pipeline@dev')
+
 def pipeline = new io.estrado.Pipeline()
 
 podTemplate(label: 'jenkins-pipeline', containers: [