diff lispref/os.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 44bc179f404b
children d2c45585a2f5 886ca7a8a884 4ef881a120fe
line wrap: on
line diff