diff man/texinfo.tex @ 81494:0a961a2318ce

*** empty log message ***
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 20 Jun 2007 08:35:55 +0000
parents 00c36cdb7641
children cd3e38bb3dc7 988f1edc9674
line wrap: on
line diff