miscellaneous edits
authorrms <rms>
Tue, 3 Dec 1991 04:02:13 +0000 (04:02 +0000)
committerrms <rms>
Tue, 3 Dec 1991 04:02:13 +0000 (04:02 +0000)
commit51a72ca9309c77f6a1679a25f098045ff4ea0626
treef2563942981f89f6302c6c2962892b7d31c6d229
parent89ddd9a542a7b2a9f69ed5f16a0079618a0bcb16
miscellaneous edits
manual/search.texi