ghc: disable annoying setting for ghcid
[julm/julm-nix.git] / homes / softwares / stack /
2020-12-09 Julien Moutinhomerge home-manager config