diff man/mule.texi @ 46107:a8fde13e8625

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Jul 2002 07:59:16 +0000
parents 99b053f1b7f6
children dfc0a989ae61
line wrap: on
line diff