diff make-dist @ 1248:68c77558d34b

(record_delete): Record pos before the deletion. (Fprimitive_undo): Go back to recorded position.
author Richard M. Stallman <rms@gnu.org>
date Mon, 28 Sep 1992 13:10:43 +0000
parents 1dba066c1e0a
children 313f56268d18
line wrap: on
line diff