diff options
| author | Tony Finch <dot@dot.at> | 2008-02-04 17:07:26 +0000 |
|---|---|---|
| committer | Tony Finch <dot@dot.at> | 2008-02-04 17:07:26 +0000 |
| commit | 5b693a8cf973e15b096e4e1c31f1c51815a72269 (patch) | |
| tree | 921ad7c8cb92b1b2440c210b4d78ca4b4c2ba3bd | |
| parent | 8473d4eebf594f883e8a198c990205fda5a25b77 (diff) | |
Previous accidental commit was actually to improve the way box drawing
characters are cleaned up, to improve the readability of the option headings.
| -rwxr-xr-x | doc/doc-docbook/Tidytxt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/doc-docbook/Tidytxt b/doc/doc-docbook/Tidytxt index 49aa2e68e..33f5242e4 100755 --- a/doc/doc-docbook/Tidytxt +++ b/doc/doc-docbook/Tidytxt @@ -1,6 +1,6 @@ #! /usr/bin/perl -# $Cambridge: exim/doc/doc-docbook/Tidytxt,v 1.4 2008/02/04 17:03:34 fanf2 Exp $ +# $Cambridge: exim/doc/doc-docbook/Tidytxt,v 1.5 2008/02/04 17:07:26 fanf2 Exp $ # Script to tidy up the output of w3m when it makes a text file. First we # convert sequences of blank lines into a single blank line, to get everything |