diff make-dist @ 98071:c94db6d7eda9

(cancel-change-group): Widen buffer temporarily when undoing changes. (Bug#810)
author Martin Rudalics <rudalics@gmx.at>
date Sun, 07 Sep 2008 09:15:43 +0000
parents f13d2ef47961
children 9419b837e9c6
line wrap: on
line diff