diff man/mini.texi @ 89231:a4f536fc73d9

Fix mode line.
author Dave Love <fx@gnu.org>
date Wed, 16 Oct 2002 16:36:57 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff