chiark / gitweb /
Infra: Ignore the COPYING file.