Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge libiserv with ghci | Sylvain Henry | 2023-02-17 | 1 | -15/+0 |
* | Update Wiki URLs to point to GitLab | Takenobu Tani | 2019-03-25 | 1 | -2/+2 |
* | Move `iserv` into `utils` and change package name from `iserv-bin` to `iserv` | Moritz Angermann | 2018-06-07 | 1 | -0/+15 |
* | Revert "Move `iserv` into `utils` and change package name | Ben Gamari | 2018-02-20 | 1 | -15/+0 |
* | Move `iserv` into `utils` and change package name from `iserv-bin` to `iserv` | Moritz Angermann | 2018-02-15 | 1 | -0/+15 |