diff lispref/locals.texi @ 78132:d5396ca38936

(isearch-mode, isearch-done): Delete unintended code in previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 15 Jul 2007 17:56:16 +0000
parents cfaec726e4dc
children a1e16e813aed 4ef881a120fe
line wrap: on
line diff