]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #25146 - piatra:doc-search-patch, r=steveklabnik
authorSteve Klabnik <steve@steveklabnik.com>
Thu, 7 May 2015 10:21:04 +0000 (12:21 +0200)
committerSteve Klabnik <steve@steveklabnik.com>
Thu, 7 May 2015 10:21:04 +0000 (12:21 +0200)
I noticed this feature added in https://github.com/rust-lang/rust/pull/23289 was missing from the `Search tricks`. Thanks!

r? @steveklabnik


Trivial merge