chiark / gitweb /
Do not include vessel info in published _ocean-*.txt