Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge libiserv with ghci | Sylvain Henry | 2023-02-17 | 1 | -2/+2 |
* | Drop make build system | Ben Gamari | 2022-08-25 | 1 | -113/+0 |
* | Fix typos, via a Levenshtein-style corrector | Brian Wignall | 2020-01-04 | 1 | -1/+1 |
* | Update Wiki URLs to point to GitLab | Takenobu Tani | 2019-03-25 | 2 | -4/+4 |
* | Cleanup iserv/iserv-proxy | Moritz Angermann | 2019-02-28 | 5 | -0/+187 |