From 1f2772ee428e393a02a4e271f25278c16151e16b Mon Sep 17 00:00:00 2001 From: nek0 Date: Tue, 7 May 2019 04:13:41 +0200 Subject: [PATCH] ignore more --- .gitignore | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.gitignore b/.gitignore index 3819313..7feb9a1 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,11 @@ *.swp *.swo +.ghc.* +*.local +*.local~ +dist-newstyle/ +*.trace +*.aux +*.hp +*.ps +*.pdf