diff man/basic.texi @ 53629:14a461c9a13c

texinfo.el
author Karl Berry <karl@gnu.org>
date Tue, 20 Jan 2004 01:28:40 +0000
parents 3649390c0f91
children 13368da050f1
line wrap: on
line diff