zshrc.d/10-shell-options.zrc
changeset 52 1f3d221e1770
parent 36 89707240553f
equal deleted inserted replaced
51:d6bcd9c33307 52:1f3d221e1770