From 8cadbef61eac2e3c58825e2ddefe904563bd14ad Mon Sep 17 00:00:00 2001
From: Panagiotis Atmatzidis <atmosx@users.noreply.github.com>
Date: Fri, 30 Mar 2018 17:26:37 +0300
Subject: [PATCH] add Jenkinsfile (#8)

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..655f05b
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,3 @@
+@Library("jenkins-devops-scripts") _
+tileserver-gl {
+}