From 2987818804f7435a616f75b696a018966c0c310a Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Thu, 29 Jun 2023 20:01:51 +1000 Subject: some minor changes --- misc/bin/gdb-mi.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 misc/bin/gdb-mi.sh (limited to 'misc/bin') diff --git a/misc/bin/gdb-mi.sh b/misc/bin/gdb-mi.sh old mode 100644 new mode 100755 -- cgit v1.2.3