Previous accidental commit was actually to improve the way box drawing
authorTony Finch <dot@dot.at>
Mon, 4 Feb 2008 17:07:26 +0000 (17:07 +0000)
committerTony Finch <dot@dot.at>
Mon, 4 Feb 2008 17:07:26 +0000 (17:07 +0000)
characters are cleaned up, to improve the readability of the option headings.


No differences found