zshrc.d/10-shell-options.zrc
changeset 46 757c82badf6c
parent 36 89707240553f
equal deleted inserted replaced
45:c8b92fa96f48 46:757c82badf6c