diff make-dist @ 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 28718fa5d988
children 2cadd1e7bd46 0ca0d9181b5e
line wrap: on
line diff