update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 1 Nov 2002 01:42:06 +0000 (01:42 +0000)
committerKarl Berry <karl@freefriends.org>
Fri, 1 Nov 2002 01:42:06 +0000 (01:42 +0000)
commitf2f40209b8d96056dc63303dc7e3a3b0d6eeddd8
tree5d512a409637bb478d1a341c1cec6b868f5a98a0
parent4f40e7088d722d37d5dec8d350668b1add797fb2
update from texinfo
config/texinfo.tex