rustdoc: remove unneeded <div> wrapper from sidebar DOM#102898
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 11, 2022
Merged
rustdoc: remove unneeded <div> wrapper from sidebar DOM#102898bors merged 2 commits intorust-lang:masterfrom
<div> wrapper from sidebar DOM#102898bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Oct 10, 2022
Commits on Oct 11, 2022
- authored