From f00eb35cf1ac6af6efb03df2816e6f10fbc8c3ca Mon Sep 17 00:00:00 2001 From: Robin Sommer Date: Mon, 15 May 2023 18:58:12 +0200 Subject: [PATCH] Remove unused file. --- src/spicy/debug.h | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/spicy/debug.h diff --git a/src/spicy/debug.h b/src/spicy/debug.h deleted file mode 100644 index e69de29bb2..0000000000