diff man/back.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 e96ffe544684
children 695cf19ef79e
line wrap: on
line diff