zshrc.d/10-shell-options.zrc
changeset 42 2431e6a9344a
parent 36 89707240553f
equal deleted inserted replaced
41:be88f546392c 42:2431e6a9344a