rustdoc: remove unused CSS selector `a.source`#102533

Merged

bors merged 1 commit intorust-lang:masterfrom

notriddle:notriddle/a-source

Oct 1, 2022

Commits on Oct 1, 2022

rustdoc: remove unused CSS selector `a.source`
notriddle
committed