From ada5d8e25a5d872b9a53b2af43509cc2b58cf562 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@2li.ch>
Date: Tue, 10 Mar 2020 20:17:28 +0100
Subject: [PATCH] make the run.sh script executable

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

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