github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity
33,528 Commits 19 Branches 16 Tags 46 MiB
ba3059d7f6
Commit Graph

3 Commits

Author SHA1 Message Date
Patrick Thomson
8c885b89fa Give script/repl some better defaults. 
Our `.ghci.sample` contains some really useful defaults, like turning
on the most common language extensions and providing better hole
information. This makes things a little nicer.
 2020-04-08 15:44:03 -04:00
Rob Rix
59cf2f9102
Tidy up .ghci.repl. 2019-12-18 09:17:13 -05:00
Rob Rix
abcca95a54
Rename .ghci.semantic to .ghci.repl. 2019-12-18 08:55:27 -05:00