diff man/info.texi @ 38162:40606e2d6b31

Minor change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 23 Jun 2001 16:10:25 +0000
parents 7615043715cd
children 127d6dc34db9
line wrap: on
line diff