diff man/misc.texi @ 41495:0bac781ea0d6

Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 25 Nov 2001 17:37:10 +0000
parents 60252111f80c
children 6253e4f3654b
line wrap: on
line diff