diff man/mule.texi @ 56020:08d7fba3613a

Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 10 Jun 2004 20:49:10 +0000
parents 7232ffdd33dd
children a322009ca3d0
line wrap: on
line diff