chiark / gitweb /
Add runner/tmp to .gitignore, for convenience.