diff man/gnus.texi @ 27971:b10a9716fb38

echo-keystrokes change.
author Dave Love <fx@gnu.org>
date Thu, 02 Mar 2000 22:08:36 +0000
parents 30686fc6c31e
children 983e65f12610
line wrap: on
line diff