comparison src/.gdbinit @ 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 d1917e4b98e7
children 5ee7eaad2958 7a0245dd1848 e24e2e78deda
comparison
equal deleted inserted replaced
59091:0e949a8f0be2 59092:49971daa80c5