From 5b693a8cf973e15b096e4e1c31f1c51815a72269 Mon Sep 17 00:00:00 2001 From: Tony Finch Date: Mon, 4 Feb 2008 17:07:26 +0000 Subject: [PATCH] Previous accidental commit was actually to improve the way box drawing characters are cleaned up, to improve the readability of the option headings. --- doc/doc-docbook/Tidytxt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.25.1