diff man/search.texi @ 66672:9c71dbde648a

(Mark Ring): Mention set-mark-command-repeat-pop.
author Richard M. Stallman <rms@gnu.org>
date Thu, 03 Nov 2005 21:44:12 +0000
parents 8430a6e62d6c
children feb2110d1e96 b1c1fc853d2f
line wrap: on
line diff