diff man/gnu.texi @ 43785:5f25ad91cf88

(echo_char): Make sure to add a separator between keys even if echo_dash hasn't been called.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 08 Mar 2002 11:34:00 +0000
parents 730f77edf073
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff