chiark / gitweb /
Avoid printing removed lines unless necessary; avoid version headers.
-rwxr-xr-x 2803 convert