From 8513a8e2901dcab15ad2b4d418635dc7f6e1302e Mon Sep 17 00:00:00 2001 From: Jakub Havrila <havrila@cesnet.cz> Date: Fri, 6 Oct 2023 12:41:47 +0200 Subject: [PATCH] change to executable --- make.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 make.sh diff --git a/make.sh b/make.sh old mode 100644 new mode 100755 -- GitLab