From 0f7dd597d2f7adc677b7221d7d5e01d20614b6c7 Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Mon, 13 Jul 2020 20:37:34 +0200 Subject: [PATCH] Update .gitignore --- .gitignore | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.gitignore b/.gitignore index e412c9c..505a0dc 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,10 @@ dist-newstyle/ cabal.project.local .stack-work/ bin/ +/*.prof +/*.ps +/*.hp +tags +TAGS +/tmp/ +.entangled