Regenerated.
authordrepper <drepper>
Mon, 20 Jul 1998 17:15:17 +0000 (17:15 +0000)
committerdrepper <drepper>
Mon, 20 Jul 1998 17:15:17 +0000 (17:15 +0000)
commit9844fc1cbb2dfe2d2673e37ab002a70343b7ac09
tree208433f69189a419da6e01f77580798e02c3bf64
parentc87c82fb189369ebaf7801bcb9827398e606f4a3
Regenerated.
manual/top-menu.texi