Edit formatting in Rust Prelude docs#80146
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 18, 2020
pierwill:pierwill-prelude-mod-docs
Merged
Edit formatting in Rust Prelude docs#80146bors merged 1 commit intorust-lang:masterfrom pierwill:pierwill-prelude-mod-docs
bors merged 1 commit intorust-lang:masterfrom
pierwill:pierwill-prelude-mod-docs
