Transition rustdoc-theme to 2018 edition#58117
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 5, 2019
h-michael:rustdoc-theme-2018
Merged
Transition rustdoc-theme to 2018 edition#58117bors merged 1 commit intorust-lang:masterfrom h-michael:rustdoc-theme-2018
bors merged 1 commit intorust-lang:masterfrom
h-michael:rustdoc-theme-2018
