Repository navigation

Handle ordered lists as well - #41049

Closed

GuillaumeGomez wants to merge 1 commit into

rust-lang:masterfrom

GuillaumeGomez:rustdoc-ordered-list

Closed

Handle ordered lists as well#41049
GuillaumeGomez wants to merge 1 commit into
rust-lang:masterfrom
GuillaumeGomez:rustdoc-ordered-list

Commits on Apr 5, 2017
- Handle ordered lists as well
  GuillaumeGomez
  committed
  5652561