diff man/misc.texi @ 33634:c97a649b1987

Undo prev change.
author André Spiegel <spiegel@gnu.org>
date Mon, 20 Nov 2000 14:01:35 +0000
parents fe183c1fbf56
children fd06a4e20d87
line wrap: on
line diff