diff make-dist @ 18783:7032bbacd2fa

(isearch-char-to-string): Use char-to-string. (isearch-quote-char): Add nonascii-insert-offset.
author Richard M. Stallman <rms@gnu.org>
date Tue, 15 Jul 1997 00:23:03 +0000
parents 7113c3fe2d3a
children 4a53a2477850
line wrap: on
line diff