diff man/killing.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 a093cd4ed690
children 7af49c69e77b
line wrap: on
line diff