Make some small tweaks to the full text search docs.

Review Request #940 - Created Oct. 30, 2017 and updated

guest8422
Review Board
191e158...
demo
This makes a small update to cover the fact that private review requests
are now indexed, and tweaks a couple other passages.

Testing done:
Built HTML and checked the output.

Reviewed at https://reviews.reviewboard.org/r/9325/


Loading...