chiark / gitweb /
Tidy up command-line handling