diff man/texinfo.texi @ 3971:de8a6fef7fcc

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