From ddd92da1757ea9da99a799424003a21ca9fe6cb6 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 12 Sep 2021 22:06:58 +0200
Subject: [PATCH] chmod +x

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

diff --git a/tools/jenkins/ci-wrench.sh b/tools/jenkins/ci-wrench.sh
old mode 100644
new mode 100755
-- 
2.20.1