Code

Add rustdoc settings menu#49954

Code

Merged

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom GuillaumeGomez:doc-settingsGuillaumeGomez/rust:doc-settingsCopy head branch name to clipboardApr 22, 2018

+231-26

Commits

Commits on Apr 17, 2018

• Add rustdoc settings menu

  GuillaumeGomez

  committed
  f2ad3c3

Commits on Apr 21, 2018

• Remove link generation on image, favicon and logo in settings

  GuillaumeGomez

  committed
  1f7892f