Skip to content

zsh: rename option syntax-highlighting#21

Merged
fpletz merged 1 commit intomasterfrom
rename-zsh-highlighting-option
May 11, 2017
Merged

zsh: rename option syntax-highlighting#21
fpletz merged 1 commit intomasterfrom
rename-zsh-highlighting-option

Commits

Commits on May 11, 2017