diff man/texinfo.texi @ 4102:9856d458deda

[xemacs-hg @ 2007-08-07 21:51:12 by viteno] Update xemacs_extra_name.
author viteno
date Tue, 07 Aug 2007 21:51:12 +0000
parents 37e56e920ac5
children 1094d6d400fb
line wrap: on
line diff