diff man/texinfo.tex @ 47283:0f65e6f1d100

Fix spacing.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 06 Sep 2002 09:07:31 +0000
parents d740bf4f6714
children efec044efb3a
line wrap: on
line diff