diff man/text.texi @ 46159:bd315b9fa3f0

Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 03 Jul 2002 12:01:24 +0000
parents 2928a834a4d7
children f80386540ed6
line wrap: on
line diff