comparison man/reftex.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 88224dc74061
children 02b9a9aa5b0c e6fdae9180d4
comparison
equal deleted inserted replaced
78131:19ca0f20bf3e 78132:d5396ca38936