diff make-dist @ 7215:729f02b2d064

(revert-buffer): widen before replacing text.
author Karl Heuer <kwzh@gnu.org>
date Sat, 30 Apr 1994 02:41:03 +0000
parents 15e380b232fa
children 5a03fc943b38
line wrap: on
line diff