chiark / gitweb /
update licence to GPLv3 or later (was GPLv2 or later).