diff man/mule.texi @ 27212:5595d0614c85

Update main menu.
author Dave Love <fx@gnu.org>
date Wed, 05 Jan 2000 23:21:42 +0000
parents 0699f691fac1
children ccadb68eaefd
line wrap: on
line diff