diff man/mule.texi @ 58137:3bdbcfe4d4e0

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 11 Nov 2004 14:54:26 +0000
parents 7232ffdd33dd
children a322009ca3d0
line wrap: on
line diff