chiark / gitweb /
gitignore: ignore files ending in ~