github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-13 11:33:47 +03:00
Code Issues Projects Releases Wiki Activity
33,033 Commits 19 Branches 16 Tags 46 MiB
5a94fda83a
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