chiark / gitweb /
mtimeout.1: Fix formatting of command-line option table.