Use ./hadrian/ghci.sh in .ghcid

Authored by mpickering on Apr 3 2019, 9:42 AM.

Description

Use ./hadrian/ghci.sh in .ghcid

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Apr 8 2019, 2:00 PM
Parents
rGHCa42d206a76e0: Fix whitespace style
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4dda2270d260: Use ./hadrian/ghci.sh in .ghcid (authored by mpickering).Apr 8 2019, 2:00 PM