]>
| 2021-11-08 | Julien Moutinho | Rename homes/{softwares => programs} | blob | commitdiff | raw |
| 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 |