diff man/misc.texi @ 36165:7ae44c5a0404

One more small cleanup.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Feb 2001 17:43:17 +0000
parents fd06a4e20d87
children df827c1def99
line wrap: on
line diff