From b87940ccd5a37829fa00d7b5994d6a53dd611f7b Mon Sep 17 00:00:00 2001
From: Christian Kremitzl <christian.kremitzl@uni-bamberg.de>
Date: Tue, 24 Mar 2020 20:11:16 +0100
Subject: [PATCH] Execute bit for autocompile.sh

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

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