diff man/texinfo.texi @ 3945:82ee30f15de8

[xemacs-hg @ 2007-05-09 21:51:09 by viteno] Update xemacs_extra_name.
author viteno
date Wed, 09 May 2007 21:51:09 +0000
parents 37e56e920ac5
children 1094d6d400fb
line wrap: on
line diff