chiark / gitweb /
cmd_version whitespace style fix