Skip to content

Remove strange formatting in Ordering docs. - #59831

Merged
bors merged 1 commit into
rust-lang:masterfrom
ehuss:ordering-docs
Apr 12, 2019
Merged

bors merged 1 commit into
rust-lang:masterfrom
ehuss:ordering-docs

Commits

  1. Commits on Apr 9, 2019