(graft_intervals_into_buffer): If SOURCE is null
authorRichard M. Stallman <rms@gnu.org>
Thu, 23 Dec 1993 01:58:56 +0000 (01:58 +0000)
committerRichard M. Stallman <rms@gnu.org>
Thu, 23 Dec 1993 01:58:56 +0000 (01:58 +0000)
commit08b0527265bf9b87f47403191a3d5c0877f86b4b
tree618b5d1a4af3d0157088b2d644b5dd76f5e49073
parent9aa1e75280a2817dd6f4749c4699c2ec89824b0c
(graft_intervals_into_buffer): If SOURCE is null
and TREE is null, no need to call Fset_text_properties.
src/intervals.c