From e30679de6d64103bf4eca41f1fd5a196918ed21d Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 3 May 2013 12:00:21 -0700
Subject: [PATCH] tools: more git ignores

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

diff --git a/.gitignore b/.gitignore
index 9c9b1df17..e6d787e6e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,7 +3,7 @@
 *.hi
 *.o
 _*
-cabal-dev
+cabal-dev*
 hledger-web/static/tmp/
 hledger-web/yesod-devel/
 TAGS
@@ -16,3 +16,5 @@ site/[0-9]*
 /messages
 /static
 /templates
+profs/profs
+t.*