diff options
| author | gingerBill <bill@gingerbill.org> | 2020-05-02 18:50:38 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-05-02 18:50:38 +0100 |
| commit | 3299d6a2047c9e637230e4c2158b71dcab03f94a (patch) | |
| tree | 8a00428b0e7aaca74015b1a1b6a0b5762007bde2 /src/checker.cpp | |
| parent | e27f5796d61aa1e1dbd4b2d52e9f580fd24d3fc2 (diff) | |
Add `-ignore-vs-search`
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions