dot/gitconfig.in: Abolish the `git email' alias.
[profile] / .gitignore
1 /local.mk