From 3d773670021d51720210eb89be4718d952a2eb54 Mon Sep 17 00:00:00 2001
From: Lionel Sambuc <lionel.sambuc@epfl.ch>
Date: Thu, 22 Feb 2018 16:54:49 +0100
Subject: [PATCH] Fix mode of script

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

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