diff options
| author | Joel Challis <git@zvecr.com> | 2023-10-28 02:09:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-28 02:09:53 +0100 |
| commit | ca2d2a524fafacf8585a17f0d7d52494e24d3ce4 (patch) | |
| tree | 1e87f767aa44a5ef8eeac0e5a721b3ad99abf05a /util | |
| parent | 1a300d05bd420d05e2c6106a4c7d1380f413590f (diff) | |
Flag more VIAL config options in lint (#22345)
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions