Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge libiserv with ghci | Sylvain Henry | 2023-02-17 | 1 | -2/+2 |
* | Fix typos, via a Levenshtein-style corrector | Brian Wignall | 2020-01-04 | 1 | -1/+1 |
* | Cleanup iserv/iserv-proxy | Moritz Angermann | 2019-02-28 | 1 | -0/+27 |