From 07aa3d5dafee42fcaa3eaa0370a187c5cb53570e Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Sun, 3 Nov 2013 22:15:37 +0200 Subject: Doc fixes. --- doc/gawk.info | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/gawk.info') diff --git a/doc/gawk.info b/doc/gawk.info index e9965f69..efd6af7c 100644 --- a/doc/gawk.info +++ b/doc/gawk.info @@ -1081,7 +1081,7 @@ by first pressing and holding the `CONTROL' key, next pressing the `d' key and finally releasing both keys. Dark Corners -............ +------------ Dark corners are basically fractal -- no matter how much you illuminate, there's always a smaller but darker one. -- cgit v1.2.3