From d2bc95292d33f58aeab6024da4477519bf1b0e66 Mon Sep 17 00:00:00 2001 From: jens Date: Thu, 30 Jun 2022 17:08:37 +0200 Subject: [PATCH] - changed exec bits --- toolchain/make.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 toolchain/make.sh diff --git a/toolchain/make.sh b/toolchain/make.sh old mode 100644 new mode 100755