comparison make-dist @ 9657:0fc126c193e7

(Finsert_buffer_substring): Use insert_from_buffer instead of insert.
author Karl Heuer <kwzh@gnu.org>
date Sat, 22 Oct 1994 04:46:14 +0000
parents 35cdd4523abf
children ee0d90e7720d
comparison
equal deleted inserted replaced
9656:e6cb99e4370c 9657:0fc126c193e7