From f80e60fe98d5db043db6d840929333124857a4ca Mon Sep 17 00:00:00 2001
From: Eric Mertens <emertens@gmail.com>
Date: Mon, 19 May 2014 01:01:09 -0700
Subject: [PATCH] Add dist to .gitignore

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

diff --git a/.gitignore b/.gitignore
index 8f4d267..3f332fd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,3 @@
 GNUmakefile
-dist-install
+/dist
 ghc.mk
-- 
GitLab