diff man/mule.texi @ 54763:63ed691cfee6

Add comment, based on report by kdc@rcn.com (Kevin D. Clark).
author Simon Josefsson <jas@extundo.com>
date Fri, 09 Apr 2004 13:39:05 +0000
parents 7232ffdd33dd
children a322009ca3d0
line wrap: on
line diff