diff etc/ps-prin1.ps @ 50383:2018e9013e52

(pop-global-mark-quick-repeat): Remove defcustom. (set-mark-command): Unconditionally repeat pop-global-mark without C-x prefix. Fix doc.
author Kim F. Storm <storm@cua.dk>
date Mon, 31 Mar 2003 21:49:09 +0000
parents e5675426ff4c
children 93ff165d67c8 d7ddb3e565de 1f7ce29b19bd
line wrap: on
line diff