diff man/info.texi @ 36160:2f0f137c2d1a

Clean up close-quote punctuation. Clarify that "Linux" is the kernel.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Feb 2001 17:32:50 +0000
parents ddf7d535df2a
children 7f8b2b2ae623
line wrap: on
line diff