Remove the library/term exception in tidy's pal checker code#113524

Merged

bors merged 1 commit intorust-lang:masterfrom

bjorn3:remove_tidy_pal_exception

Jul 10, 2023

Commits on Jul 10, 2023

Remove the library/term exception in tidy's pal checker code
bjorn3
committed