From c47f272382c0f16932e4acb9e69bb510ba24c141 Mon Sep 17 00:00:00 2001 From: Gijs Date: Thu, 8 Sep 2022 18:51:20 +0200 Subject: [PATCH] Made run.sh 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