diff build-ins.in @ 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 ce011f7cd03f
children b0eeade85c1f
line wrap: on
line diff