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)