chiark / gitweb /
Cope with ship names with spaces in