From 9d1bbf33d4e92def6873ae220712b6b9f8870e19 Mon Sep 17 00:00:00 2001
From: nek0 <nek0@chelnok.de>
Date: Sun, 26 Feb 2017 11:19:55 +0100
Subject: [PATCH] ignore profiling data

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 05d4d64..79903a3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
 .cabal-sandbox/
 cabal.sandbox.config
 dist/
+*.aux
+*.hp
+*.ps