chiark / gitweb /
add patch output to .gitignore