Guillaume Dott e4d494faa7 zsh: remove old aliases

2018-06-07 10:55:25 +02:00

..

zprofile

zsh: remove old aliases

2018-06-07 10:55:25 +02:00

zshrc

zsh: remove old aliases

2018-06-07 10:55:25 +02:00