Code

Fixes menu for rustdoc page#804

Code

Merged

JohnTitor merged 4 commits intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

FedericoPonzi:summary-fixCopy head branch name to clipboard

Jul 18, 2020

Commits

Commits on Jul 17, 2020

• Fixes menu for rustdoc page

  

  Federico Ponzi

  committed
  f7a3fee

  Copy full SHA for f7a3fee

• Typo fix

  

  Federico Ponzi

  committed
  626f248

  Copy full SHA for 626f248

Commits on Jul 18, 2020

• Removes the rustdoc entry from the Summary, and restores its position

  

  Federico Ponzi

  committed
  e29496f

  Copy full SHA for e29496f

• Removes the right entry from the summary

  

  Federico Ponzi

  committed
  00bfde2

  Copy full SHA for 00bfde2