]>
2021-11-08 | Julien Moutinho | ghc: fix ghci config | blob | commitdiff | raw |
2021-10-27 | Julien Moutinho | ghc: disable annoying setting for ghcid | blob | commitdiff | raw | diff to current |
2020-12-09 | Julien Moutinho | merge home-manager config | blob | commitdiff | raw | diff to current |