chiark / gitweb /
bash-completion: fix whitespace