Willi Butz 4e4f7a2f66
zsh module: rename option syntax-highlighting
rename zsh-option "syntax-highlighting" -> "syntaxHighlighting"
2017-05-21 01:26:51 +02:00
..
2017-01-29 05:45:43 -06:00
2017-01-29 05:45:43 -06:00
2017-02-17 20:18:19 +01:00
2017-05-15 23:49:43 -04:00