github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00
Code Issues Projects Releases Wiki Activity
31,830 Commits 19 Branches 16 Tags 46 MiB
d606702573
Commit Graph

3 Commits

Author SHA1 Message Date
Rob Rix
76833768a4
Enable pretty-printing immediately. 2019-11-01 09:58:22 -04:00
Rob Rix
d030f028da
Ignore pretty-simple before loading it to avoid multiple loaded copies. 2019-11-01 09:58:14 -04:00
Rob Rix
2214adb460
Rename ghci.default to ghci.sample. 2019-11-01 09:00:16 -04:00