From 406e60eef2dee2c07a7db4195fbb1271eb4fccae Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Fri, 27 Aug 2021 09:28:43 +0200 Subject: [PATCH] make build-gnu.sh executable --- util/build-gnu.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 util/build-gnu.sh diff --git a/util/build-gnu.sh b/util/build-gnu.sh old mode 100644 new mode 100755