zsh/config
2016-10-22 21:34:15 +11:00
..
zsh Disable alias-tips, too big a performance hit on the Pi 2016-10-22 21:34:15 +11:00