zshrc.d/10-shell-options.zrc
changeset 55 8b0752a1fe63
parent 36 89707240553f
equal deleted inserted replaced
54:c8054d1073d3 55:8b0752a1fe63