From f799b3b7599065f29ffc2118791388c73743c72b Mon Sep 17 00:00:00 2001
From: Rob Rix <robrix@github.com>
Date: Wed, 30 Oct 2019 15:00:05 -0400
Subject: [PATCH] Ignore dist-repl.

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

diff --git a/.gitignore b/.gitignore
index 6ad025336..0a5922aab 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@ profiles
 cabal.project.local*
 dist
 dist-newstyle
+dist-repl
 .ghc.environment.*
 .ghci_history