From 15836982fc01eb8721b97ba247b0d518d6ac5fca Mon Sep 17 00:00:00 2001 From: Charles Date: Fri, 11 Oct 2019 08:12:51 +0200 Subject: Exam config --- .ghci | 1 - 1 file changed, 1 deletion(-) delete mode 100644 .ghci (limited to '.ghci') diff --git a/.ghci b/.ghci deleted file mode 100644 index ec73138..0000000 --- a/.ghci +++ /dev/null @@ -1 +0,0 @@ -:set prompt λ> -- cgit