diff make-dist @ 4449:c6c254105f7f

(mouse-save-then-kill): Don't discard all the normal undo info; just replace the deletion entry.
author Richard M. Stallman <rms@gnu.org>
date Wed, 04 Aug 1993 04:37:11 +0000
parents 15c60018d647
children f1fa60176c8d
line wrap: on
line diff