Skip to content

rustdoc: warn for notrust tags#19693

Closed
skade wants to merge 1 commit intorust-lang:masterfrom
skade:warn-notrust
Closed

rustdoc: warn for `notrust` tags#19693
skade wants to merge 1 commit intorust-lang:masterfrom
skade:warn-notrust

Commits

Commits on Dec 10, 2014