diff make-dist @ 12265:1d2296cfa1e3

(isearch-mode): Use overriding-terminal-local-map, not overriding-local-map. (isearch-done): Likewise.
author Karl Heuer <kwzh@gnu.org>
date Fri, 16 Jun 1995 06:10:21 +0000
parents 810cc10d1d45
children ed11e19b4264
line wrap: on
line diff