chiark / gitweb /
tree-wide: drop copyright headers from frequent contributors