diff man/misc.texi @ 39344:ad17cb15119e

Doc fix.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 19 Sep 2001 08:55:58 +0000
parents 343d48d4e64c
children 60252111f80c
line wrap: on
line diff