chiark / gitweb /
mtimeout.1: Use correct dash for number ranges.