diff man/info.texi @ 38131:a678d1512bf0

Minor wording change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 20 Jun 2001 10:49:29 +0000
parents 7615043715cd
children 127d6dc34db9
line wrap: on
line diff