Sync to ftp.gnu.org version of 1999-07-06.
authorPaul Eggert <eggert@gnu.org>
Tue, 13 Jul 1999 04:50:09 +0000 (04:50 +0000)
committerPaul Eggert <eggert@gnu.org>
Tue, 13 Jul 1999 04:50:09 +0000 (04:50 +0000)
commitadb1632033d58f3570bacaf6d717e8b04199c979
tree16aa8cb3919dace5657e1d69760c8b33af59bee0
parent8df9d5402017dbc6af67e9baa1c0baac5c59f4ff
Sync to ftp.gnu.org version of 1999-07-06.
texinfo.tex