diff man/regs.texi @ 34217:9e2f85266e61

(record_char): Don't record identical help-echo events in recent_keys.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 05 Dec 2000 17:03:29 +0000
parents ac7e9e5e2ccb
children 6cd5aaf1a361
line wrap: on
line diff