diff man/info.texi @ 41204:29dc01dc9a7f

New version from Eric Jacoboni <jaco@teaser.fr>.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 17 Nov 2001 16:16:00 +0000
parents d2d0681907f9
children 4df576b320fb
line wrap: on
line diff