Skip to content

Get rid of custom pretty-printing in rustdoc#80799

Merged
bors merged 1 commit into
rust-lang:masterfrom
jyn514:pretty-print
Jan 8, 2021
Merged

Get rid of custom pretty-printing in rustdoc#80799
bors merged 1 commit into
rust-lang:masterfrom
jyn514:pretty-print

Get rid of custom pretty-printing in rustdoc

31375d2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs