From c153b29d9b678566f81a0671010382a6917c8c99 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Peem=C3=B6ller?= <bjp@informatik.uni-kiel.de>
Date: Thu, 28 Jun 2012 11:11:51 +0200
Subject: [PATCH] .gitignore updated

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 849ddff..9506ae3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
+cabal-dev/
 dist/
-- 
GitLab