diff man/mule.texi @ 28693:062f88e62612

(scrolling): New group. (automatic-hscrolling): New user-option.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 24 Apr 2000 13:59:25 +0000
parents ccadb68eaefd
children 203ba1f77b7b
line wrap: on
line diff