Regenerated.
authordrepper <drepper>
Tue, 15 Dec 1998 16:43:18 +0000 (16:43 +0000)
committerdrepper <drepper>
Tue, 15 Dec 1998 16:43:18 +0000 (16:43 +0000)
commit3190b6e47a55b621428c33f416afbdefa364fb11
treee0e7385dbbd52072bf34173b3611f34e97fe0daf
parenteb511045a52a28bae662343bf6f48635a0f662ff
Regenerated.
manual/top-menu.texi