diff man/cl.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 bc14e9ea5378
children 508fd85ab816
line wrap: on
line diff