Skip to content

rustdoc: simplify JS search routine by not messing with lev distance#105796

Merged
bors merged 2 commits intorust-lang:masterfrom
notriddle:notriddle/rustdoc-search-stop-doing-demerits
Jan 19, 2023

Commits

Commits on Jan 14, 2023