Update .gitignore

# Conflicts: # .gitignore
2015-05-21 02:15:13 +02:00
parent 984ed40c63
commit 7376802c7d
1 changed files with 7 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -11,3 +11,10 @@ dist/
 # cabal
 .cabal-sandbox/
 cabal.sandbox.config
+
+# profiling
+*.prof
+
+_darcs/
+
+.liquid/