diff make-dist @ 38616:3dbecf5d82d8

(delete-selection-pre-hook): Don't set this-command to `ignore' if the region is empty.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 31 Jul 2001 11:36:09 +0000
parents b3268dbead96
children c1607757c868
line wrap: on
line diff