comparison oldXMenu/copyright.h @ 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 e806467e7c39
children 07774e5c3ff5 dd7c098af727 ef719132ddfa
comparison
equal deleted inserted replaced
78131:19ca0f20bf3e 78132:d5396ca38936