chiark / gitweb /
git: ignore generated policy file