diff make-dist @ 67495:5a3907cc23fc

(Finsert_file_contents): Set Vdeactivate_mark when we change the buffer.
author Richard M. Stallman <rms@gnu.org>
date Sun, 11 Dec 2005 05:08:18 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff