chiark / gitweb /
dot/gitconfig.in: Abolish the `git email' alias.
[profile] / dot / zprofile
2017-08-06 Mark Woodingdot/zprofile, dot/zshrc: Configuration for Zsh.