chiark / gitweb /
generic fixes: more .gitignores