Skip to content

Add all submodules to the list of directories tidy skips#102017

Merged
bors merged 1 commit intorust-lang:masterfrom
est31:rustc_dev_guide_tidy_skip
Sep 20, 2022

Commits

Commits on Sep 19, 2022