From 6956872a80693cf48bf14a9120b97f61b019a969 Mon Sep 17 00:00:00 2001
From: Christian Kremitzl <christian.kremitzl@uni-bamberg.de>
Date: Tue, 24 Mar 2020 12:53:18 +0100
Subject: [PATCH] Execute bits for scripts.

---
 autocompile.sh | 0
 main.py        | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 autocompile.sh
 mode change 100644 => 100755 main.py

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