diff man/texinfo.tex @ 43318:4d3d5610eea8

Corrected the fix to 127167.
author John Wiegley <johnw@newartisans.com>
date Sat, 16 Feb 2002 06:43:19 +0000
parents d740bf4f6714
children efec044efb3a
line wrap: on
line diff