Skip to content

Add link to rustdoc book in rustdoc help popup#78103

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rustdoc-book
Oct 19, 2020
Merged

Add link to rustdoc book in rustdoc help popup#78103
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rustdoc-book

Commits

Commits on Oct 19, 2020