From 3ac51ebfffc9d083c0bc2a28bc45529fd4844809 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Mon, 24 Jun 2013 17:10:15 +0200
Subject: [PATCH] jenkins.sh: chmod +x

---
 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