diff man/mule.texi @ 33671:90acc0606378

Change @dircategory.
author Dave Love <fx@gnu.org>
date Tue, 21 Nov 2000 11:41:09 +0000
parents d65f9772ee72
children 78ec4a7ba765
line wrap: on
line diff