tree 106e619e527997387b09122fc5d513f6107af4c9
parent 3760ac9845e3c0d163eb1b4d83ab5b2f367507aa
author Kyle Edwards <kyle.edwards@kitware.com> 1685997732 -0400
committer Kyle Edwards <kyle.edwards@kitware.com> 1686062722 -0400

VERIFY_INTERFACE_HEADER_SETS: Skip header files that have SKIP_LINTING

Fixes: #24972