diff man/texinfo.texi @ 3843:b777e58a2ca0

[xemacs-hg @ 2007-02-22 22:51:09 by viteno] Update xemacs_extra_name.
author viteno
date Thu, 22 Feb 2007 22:51:09 +0000
parents 37e56e920ac5
children 1094d6d400fb
line wrap: on
line diff