chiark / gitweb /
Licensing: Copy GPL-3 into COPYING