Skip to content

rustdoc: use a more evocative name for CSS/JS #titles#106069

Merged
bors merged 2 commits intorust-lang:masterfrom notriddle:notriddle/search-tabsDec 24, 2022

Commits

Commits on Dec 23, 2022