diff man/mule.texi @ 40552:2059c7bd529d

Comment fix.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 31 Oct 2001 11:02:19 +0000
parents 0b1105a90b8b
children b7eed8a7f650
line wrap: on
line diff