Skip to content

Apply dependency renamings when running rustdoc#5794

Merged
bors merged 1 commit intorust-lang:masterfrom
Nemo157:rustdoc-rename-extern
Jul 26, 2018
Merged

Apply dependency renamings when running rustdoc#5794
bors merged 1 commit intorust-lang:masterfrom
Nemo157:rustdoc-rename-extern

Commits

Commits on Jul 25, 2018