indented menu descriptions correctly
authormelissa <melissa>
Wed, 20 May 1992 17:21:04 +0000 (17:21 +0000)
committermelissa <melissa>
Wed, 20 May 1992 17:21:04 +0000 (17:21 +0000)
commit50b419dd5774ff0bce4ec9ffc937966308e58534
treee663d0c9ff2ed83e8a3d37a05e1d9c126b2b6177
parent1862899c76e2050c5a5b2bbe70730ae625f0a7fa
indented menu descriptions correctly
manual/search.texi