diff man/mule.texi @ 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 bc021306e722
children 3d0bec9036ac
line wrap: on
line diff