chiark / gitweb /
infra: Add a copy of the GPL.