Skip to content

rustdoc: instead of .setting-name { width: 100% }, use default div CSS#106996

Merged
bors merged 2 commits intorust-lang:masterfrom
notriddle:notriddle/settings-line-div
Jan 18, 2023
Merged

rustdoc: instead of `.setting-name { width: 100% }`, use default div CSS#106996
bors merged 2 commits intorust-lang:masterfrom
notriddle:notriddle/settings-line-div

Commits