chiark / gitweb /
Added COPYING (copy of the GPL).