Git ignore .hadrian_ghci (generated by the ./hadrian/ghci.sh)
authorDavid Eichmann <EichmannD@gmail.com>
Tue, 12 Mar 2019 17:13:12 +0000 (17:13 +0000)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Fri, 15 Mar 2019 14:11:47 +0000 (10:11 -0400)
[skip ci]

.gitignore

index e4e5420..aab7b86 100644 (file)
@@ -50,6 +50,7 @@ stage0
 stage1
 stage2
 _build
 stage1
 stage2
 _build
+.hadrian_ghci
 
 # -----------------------------------------------------------------------------
 # Ignore any overlapped darcs repos and back up files
 
 # -----------------------------------------------------------------------------
 # Ignore any overlapped darcs repos and back up files