os/pkgs/shells/zsh/purs
2020-07-16 18:43:28 -06:00
..
default.nix pkgs#purs: show user@host inside ssh session 2020-07-16 18:43:28 -06:00
init.sh pkgs#purs: show user@host inside ssh session 2020-07-16 18:43:28 -06:00