From 8daffa876c139d7d90168377895526356d61c618 Mon Sep 17 00:00:00 2001 From: apio Date: Wed, 12 Oct 2022 14:31:50 +0200 Subject: [PATCH] Make some shell scripts executable --- tools/build-debug.sh | 0 tools/gdb.sh | 0 2 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/build-debug.sh mode change 100644 => 100755 tools/gdb.sh diff --git a/tools/build-debug.sh b/tools/build-debug.sh old mode 100644 new mode 100755 diff --git a/tools/gdb.sh b/tools/gdb.sh old mode 100644 new mode 100755