diff src/vmstime.h @ 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 2c7e0875f6d0
children ee40177f6c68
line wrap: on
line diff