chiark / gitweb /
generic fixes: .gitignores