From 919dbaa0c65a3a505656bfac42bbd882c89aa100 Mon Sep 17 00:00:00 2001 From: frederik Date: Sat, 13 Jul 2024 10:49:24 +0200 Subject: [PATCH] fix executable bits --- scripts/print_diagnostic_info.sh | 0 scripts/server.py | 0 2 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/print_diagnostic_info.sh mode change 100755 => 100644 scripts/server.py diff --git a/scripts/print_diagnostic_info.sh b/scripts/print_diagnostic_info.sh old mode 100644 new mode 100755 diff --git a/scripts/server.py b/scripts/server.py old mode 100755 new mode 100644