zsh/config
2017-07-05 08:35:58 +10:00
..
zsh Use a fuzzier glob to find TeXLive installation, the bin directory's name is different in TeXLive 2017 2017-07-05 08:35:58 +10:00