Skip to content

rustdoc: use a trie for name-based search#133005

Merged
bors merged 3 commits intorust-lang:masterfrom
notriddle:notriddle/trie-search
Nov 14, 2024

Commits

Commits on Nov 13, 2024