1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00

Tidy up .ghci.repl.

This commit is contained in:
Rob Rix 2019-12-18 09:17:13 -05:00
parent e12af54e84
commit 59cf2f9102
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -1,4 +1,4 @@
-- GHCI settings for semantic, collected by running cabal repl -v and checking out the flags cabal passes to ghc.
-- GHCI settings for script/repl.
-- These live here instead of script/repl for ease of commenting.
-- These live here instead of .ghci so cabal repl remains unaffected.
-- These live here instead of script/ghci-flags so ghcide remains unaffected.