chiark / gitweb /
*.[1-9].in: Fix typesetting of option `-' characters.