diff etc/=MACHINES @ 8534:a446d13c46ea

(mouse-set-mark): Select the window before saving point.
author Richard M. Stallman <rms@gnu.org>
date Sat, 13 Aug 1994 20:29:54 +0000
parents 0e1b3507ee15
children
line wrap: on
line diff