Skip to content

rustdoc-search: clean up some DOM code#118291

Merged
bors merged 1 commit intorust-lang:masterfrom notriddle:notriddle/search-domNov 25, 2023
+5-11

Commits

Commits on Nov 25, 2023