chiark / gitweb /
update for new copyright file location; add 2000 copyright dates and