ghc-in-ghci: Fix capitalization of hieFile
authorBen Gamari <ben@smart-cactus.org>
Thu, 21 Feb 2019 16:53:34 +0000 (11:53 -0500)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Sat, 23 Feb 2019 04:53:36 +0000 (23:53 -0500)
commit04b7f4c1c6ea910ab378f27c5f9efd6c88f65425
treefa5cc9236d9466a65477f1412d7d92dd74762589
parente87ae4733adb7420d13e96c2423aa71f804a2c46
ghc-in-ghci: Fix capitalization of hieFile
utils/ghc-in-ghci/settings.ghci