diff options
| author | Adonais Romero González <[email protected]> | 2023-11-07 10:41:35 -0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-11-07 10:41:35 -0800 |
| commit | f07f43cbbc2110bd6fe0389a1017544072d7dda6 (patch) | |
| tree | 77fc59486c5db7b866bd553f0927e95c80602ccd /setup/devcon/devcon.rc | |
| parent | 3ad25d938bc0319447992218a1809814119188df (diff) | |
Add new flag and exclusion for new InfVerif changes (#1049)
Diffstat (limited to 'setup/devcon/devcon.rc')
0 files changed, 0 insertions, 0 deletions