From 572bda80e20165485779e9ccfc0242f85df30c31 Mon Sep 17 00:00:00 2001 From: tomsmeding Date: Mon, 18 Nov 2019 19:31:45 +0100 Subject: Remove really outdated makefile --- .gitignore | 3 --- 1 file changed, 3 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index efda63e..6a123fa 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,3 @@ -lisp -*.hi -*.o .stack-work/ .cabal-sandbox cabal.sandbox.config -- cgit v1.2.3-70-g09d2