diff lispref/searching.texi @ 27768:580d9429435a

Make echo-keystrokes `number'.
author Dave Love <fx@gnu.org>
date Fri, 18 Feb 2000 21:15:05 +0000
parents 0f5edee5242b
children 72cae205b4f4
line wrap: on
line diff