diff man/mini.texi @ 55950:7b87eb54c885

(isearch-mode-map): Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 06 Jun 2004 13:57:39 +0000
parents 3264fbd6f6f5
children 9f99ae07c452
line wrap: on
line diff