diff man/misc.texi @ 42979:7359d6d75a9c

Minor cleanups.
author Richard M. Stallman <rms@gnu.org>
date Sat, 26 Jan 2002 22:43:53 +0000
parents 60252111f80c
children 6253e4f3654b
line wrap: on
line diff