From 70ead790d1e4a499b141aa98806c1293b6cf388f Mon Sep 17 00:00:00 2001 From: nek0 Date: Mon, 20 Feb 2017 20:43:15 +0100 Subject: [PATCH] ignore profiling data --- .gitignore | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitignore b/.gitignore index 3d66116..ced8b76 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,7 @@ .cabal-sandbox/ cabal.sandbox.config dist/ +*.prof +*.aux +*.hp +*.ps