chiark / gitweb /
cleanup: Various simple whitespace changes.