diff man/misc.texi @ 38162:40606e2d6b31

Minor change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 23 Jun 2001 16:10:25 +0000
parents 24fa5ae5fd91
children 08aca6a91513
line wrap: on
line diff