diff make-dist @ 59092:49971daa80c5

(Buffer-menu-revert-function): Clear out undo info before reverting and disable undo recording while reverting.
author Luc Teirlinck <teirllm@auburn.edu>
date Mon, 27 Dec 2004 05:17:09 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff