diff make-dist @ 67832:9839c37173e2

(undo.o): Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 26 Dec 2005 22:10:18 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff