diff options
| author | gingerBill <gingerBill@users.noreply.github.com> | 2022-02-15 15:58:44 +0000 |
|---|---|---|
| committer | gingerBill <gingerBill@users.noreply.github.com> | 2022-02-15 15:58:44 +0000 |
| commit | 0380a288a9e7d5bb775abec00900488659d1c784 (patch) | |
| tree | 4e55a89ebb2e8b32318dbb23a7bc57b27dff926f /src/checker.cpp | |
| parent | 1d4d0a3e1a86c02d4da5708c8b4b96c31cce20c9 (diff) | |
Minor fix for -vet
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions