(graft_intervals_into_buffer): New arg LENGTH.
authorRichard M. Stallman <rms@gnu.org>
Thu, 25 Nov 1993 06:28:03 +0000 (06:28 +0000)
committerRichard M. Stallman <rms@gnu.org>
Thu, 25 Nov 1993 06:28:03 +0000 (06:28 +0000)
commit0b79989fc40a4e7c8b508da1de9e5c76bf47e74b
tree9531545dc3d75dd80890bc3d033f25111b63b074
parentaf9015f93d074a0b2ff220853a5c6dc3370f802a
(graft_intervals_into_buffer): New arg LENGTH.
If source has no intervals, set dest properties to nil.
src/intervals.c