From a4bbe93dfcb107dd62ae21b6430754fbdf3459d8 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Thu, 15 Feb 2018 14:34:49 +0100
Subject: [PATCH] chmod +x jenkins.sh

---
 jenkins.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 jenkins.sh

diff --git a/jenkins.sh b/jenkins.sh
old mode 100644
new mode 100755