chiark / gitweb /
Update to GPLv3+; update copyright notices everywhere.