From 1a4269a2bf29750fa1bb5004385ac4141d73ff41 Mon Sep 17 00:00:00 2001
From: chessai <chessai1996@gmail.com>
Date: Mon, 24 Jun 2019 13:37:46 -0400
Subject: [PATCH] remove duplicate /dist/ from .gitignore

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

diff --git a/.gitignore b/.gitignore
index 07a8db1..48d8dc6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,9 +1,8 @@
 GNUmakefile
 /dist-install/
 /dist/
-ghc.mk
-/dist/
 /dist-newstyle/
+ghc.mk
 *.hi
 *.o
 .ghc.environment*
-- 
GitLab