diff man/mule.texi @ 35031:c42fc96648de

(hl-line): Doc fix.
author Dave Love <fx@gnu.org>
date Wed, 03 Jan 2001 20:18:33 +0000
parents a80251dea213
children 2aa481613ac4
line wrap: on
line diff