ghc-in-ghci: Fix capitalization of hieFile wip/fix-ghc-in-ghci
authorBen Gamari <ben@smart-cactus.org>
Thu, 21 Feb 2019 16:53:34 +0000 (11:53 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 21 Feb 2019 16:54:35 +0000 (11:54 -0500)
commit057b36f744b2bedf7034fd66762c5f534f55bb95
tree2daca6ab3323acfe1bc1ca7c410940dd337804dd
parenta5373c1fe172dee31e07bcb7c7f6caff1035e6ba
ghc-in-ghci: Fix capitalization of hieFile
utils/ghc-in-ghci/settings.ghci