From 5345f52cf41de9c86205c46b215707de461d2928 Mon Sep 17 00:00:00 2001
From: Samuel Mehrbrodt <s.mehrbrodt@gmail.com>
Date: Wed, 21 May 2014 17:22:49 +0200
Subject: [PATCH] chmod +x jenkins_script.py

---
 scripts/jenkins_script.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 scripts/jenkins_script.py

diff --git a/scripts/jenkins_script.py b/scripts/jenkins_script.py
old mode 100644
new mode 100755