diff options
| author | Adonais Romero González <[email protected]> | 2023-11-13 13:52:08 -0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-11-13 13:52:08 -0800 |
| commit | 393129dc4b45c0c5e22baee61532b7faa7895f03 (patch) | |
| tree | 298714e8c8d9ff0264f7975b83584f46b632ccfb /setup | |
| parent | 570a65f4dc08c709d96ee17bfae9c58f15ce3eba (diff) | |
Add more InfVerif exceptions & clear exclusions (#1052)
Diffstat (limited to 'setup')
0 files changed, 0 insertions, 0 deletions