From 70bbd51ef78dc0ff9484eb65ec36232b965fe7fb Mon Sep 17 00:00:00 2001 From: Sara Date: Wed, 1 Nov 2023 23:02:18 +0100 Subject: [PATCH] removed run.gdb as it is no longer used by make run --- run.gdb | 1 - 1 file changed, 1 deletion(-) delete mode 100644 run.gdb diff --git a/run.gdb b/run.gdb deleted file mode 100644 index f5bdd21..0000000 --- a/run.gdb +++ /dev/null @@ -1 +0,0 @@ -run