From 43e31563434edccbe5d7c820ee00037264fcb42d Mon Sep 17 00:00:00 2001 From: holger Date: Sun, 13 Aug 2023 14:16:19 +0200 Subject: [PATCH] make script executable --- compile_linux_dist.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 compile_linux_dist.sh diff --git a/compile_linux_dist.sh b/compile_linux_dist.sh old mode 100644 new mode 100755