diff make-dist @ 87419:b23fbf3b100b

(save-buffer-state): Make sure the state of the buffer is always restored.
author Andreas Schwab <schwab@suse.de>
date Wed, 26 Dec 2007 19:04:50 +0000
parents 2c4cf44f634f
children 4424409d4223 53108e6cea98
line wrap: on
line diff