chiark / gitweb /
Avoid printing removed lines unless necessary; avoid version headers.