diff make-dist @ 87386:9ec633b7a53d

(select-active-regions): New option. (set-mark): Obey it.
author Richard M. Stallman <rms@gnu.org>
date Tue, 25 Dec 2007 20:02:45 +0000
parents 2c4cf44f634f
children 4424409d4223 53108e6cea98
line wrap: on
line diff