diff man/mule.texi @ 57735:82bd283dbbf8

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 27 Oct 2004 10:59:20 +0000
parents 7232ffdd33dd
children a322009ca3d0
line wrap: on
line diff