Skip to content

Revert the rustdoc box syntax removal#89134

Merged
bors merged 1 commit intorust-lang:masterfrom est31:revert_rustdoc_box_syntaxSep 22, 2021

Commits

Commits on Sep 20, 2021