diff make-dist @ 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 810820d03e24
children f2e4b574a4e9
line wrap: on
line diff