diff src/.gdbinit @ 5250:63a865489a1e

(graft_intervals_into_buffer): If SOURCE is null and TREE is null, no need to call Fset_text_properties.
author Richard M. Stallman <rms@gnu.org>
date Thu, 23 Dec 1993 01:58:56 +0000
parents 177aaa70734d
children 0e488f8ef02c
line wrap: on
line diff