diff make-dist @ 6584:ec24b7ded9bc

(rmail-sort-messages): Use buffer-disable-undo, not buffer-flush-undo.
author Karl Heuer <kwzh@gnu.org>
date Wed, 30 Mar 1994 02:24:05 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff