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
31,805 Commits 19 Branches 16 Tags 46 MiB
9a18948ecf
Commit Graph

2 Commits

Author SHA1 Message Date
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