| commit | 36ec89639ad84e194446795e36b69ab19e57e731 | [log] [tgz] |
|---|---|---|
| author | Kyle Edwards <kyle.edwards@kitware.com> | Mon Jun 05 16:42:12 2023 -0400 |
| committer | Kyle Edwards <kyle.edwards@kitware.com> | Tue Jun 06 10:45:22 2023 -0400 |
| tree | 106e619e527997387b09122fc5d513f6107af4c9 | |
| parent | 3760ac9845e3c0d163eb1b4d83ab5b2f367507aa [diff] |
VERIFY_INTERFACE_HEADER_SETS: Skip header files that have SKIP_LINTING Fixes: #24972
