comparison src/.gdbinit @ 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 4b9062f951a5
children fb218a8bd186
comparison
equal deleted inserted replaced
14479:69fa625812a4 14480:50954bb380b6