Skip to content

Make tidy warn on unrecognized directives#135421

Merged
bors merged 1 commit intorust-lang:masterfrom
cod10129:warn-tidy-ignore
Jan 18, 2025
Merged

Make tidy warn on unrecognized directives#135421
bors merged 1 commit intorust-lang:masterfrom
cod10129:warn-tidy-ignore

Commits

Commits on Jan 15, 2025