zshrc.d/10-shell-options.zrc
changeset 51 d6bcd9c33307
parent 36 89707240553f
equal deleted inserted replaced
50:87b60a3c90ae 51:d6bcd9c33307