rustdoc: remove weird, unused variable from source-files.js#96998
Merged
bors merged 1 commit intorust-lang:masterfrom May 14, 2022
Merged
rustdoc: remove weird, unused variable from source-files.js#96998bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom