Merge branch 'dev' of https://github.com/lachie83/croc-hunter into dev

* 'dev' of https://github.com/lachie83/croc-hunter: pin to git tag
EamonKeane · Sep 27, 2017 · 805a0b3 · 805a0b3
2 parents 97b4904 + 37b3cb1
commit 805a0b3
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: [