From 3ec6be2830c4daad3e9424c74e98520a23b3db46 Mon Sep 17 00:00:00 2001 From: justin Date: Mon, 25 Nov 2024 21:30:00 +0000 Subject: [PATCH] Git is not helpful, asking for a commit --- ghcidOutput | 1 - 1 file changed, 1 deletion(-) delete mode 100644 ghcidOutput diff --git a/ghcidOutput b/ghcidOutput deleted file mode 100644 index 3dc4e3398..000000000 --- a/ghcidOutput +++ /dev/null @@ -1 +0,0 @@ -All good (594 modules, at 20:42:55)