From 37c3fda960f2213d3e4a15b818f53dd761fee01e Mon Sep 17 00:00:00 2001 From: nek0 Date: Fri, 10 May 2019 14:11:06 +0200 Subject: [PATCH] ignore more --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 53e6edc..9fb882b 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,4 @@ dist/ *.pdf *.prof .ghc* +cabal.project.*