diff make-dist @ 59162:ced0821d5f7c

(buffer-disable-undo): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 28 Dec 2004 05:11:03 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff