chiark / gitweb /
Infra: Ignore boring files, and expunge old setup script.