Skip to content

rustdoc: remove unused CSS .non-exhaustive { margin-bottom }#101943

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/non-exhaustive
Sep 18, 2022

Commits

Commits on Sep 17, 2022