mirror of
https://github.com/google/comprehensive-rust.git
synced 2024-11-28 18:11:07 +02:00
Use AND
between words in mdbook
search (#1306)
The default is to use `OR`, which I find counter-intuitive: the more I try to narrow down a search, the more hits I get. See the full documentation for more options: https://rust-lang.github.io/mdBook/format/configuration/renderers.html#outputhtmlsearch
This commit is contained in:
parent
c93a4bc20c
commit
a38a33c8fb
Loading…
Reference in New Issue
Block a user