diff man/gnu.texi @ 36220:f9a70f278391

Fix a blank line.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 20 Feb 2001 11:01:23 +0000
parents df827c1def99
children 730f77edf073
line wrap: on
line diff