Skip to content

Cleanly report when rust-docs isn't installed#2116

Merged
kinnison merged 1 commit intorust-lang:masterfrom
kinnison:kinnison/report-missing-docs
Nov 10, 2019
Merged

Cleanly report when rust-docs isn't installed#2116
kinnison merged 1 commit intorust-lang:masterfrom
kinnison:kinnison/report-missing-docs

Commits

Commits on Nov 10, 2019