diff make-dist @ 14480:50954bb380b6

(record_marker_adjustment): New function. (Fprimitive_undo): Handle marker-adjustment elements.
author Richard M. Stallman <rms@gnu.org>
date Sat, 03 Feb 1996 18:07:27 +0000
parents 05f4d693bbbf
children f41775f4f5c6
line wrap: on
line diff