Weiyi Lou b07904d13c Update shell comments, rename gitp `branch` to `decoration` il y a 9 ans
..
bash f75c57fad0 Clean up usage messages for executable scripts il y a 9 ans
common b07904d13c Update shell comments, rename gitp `branch` to `decoration` il y a 9 ans
man 1cbab22714 Initial migration of shell config il y a 10 ans
zsh fd4069903a Ignore zsh completion initialisation audit il y a 10 ans
bash_profile 1cbab22714 Initial migration of shell config il y a 10 ans
bashrc 3fb16abc00 Split local files into `rc` and `env` files il y a 10 ans
env 3fb16abc00 Split local files into `rc` and `env` files il y a 10 ans
zshrc 3fb16abc00 Split local files into `rc` and `env` files il y a 10 ans