Skip to content

Give a hard error if -Zrustdoc-scrape-examples is missing a flag#10043

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:hard-error
Nov 20, 2021
Merged

Give a hard error if `-Zrustdoc-scrape-examples` is missing a flag#10043
bors merged 1 commit intorust-lang:masterfrom
jyn514:hard-error

Commits

Commits on Nov 5, 2021