diff man/mini.texi @ 67832:9839c37173e2

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