diff options
| author | gingerBill <bill@gingerbill.org> | 2020-05-13 23:00:34 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-05-13 23:00:34 +0100 |
| commit | 2630e9ced153ae8806053cf1662d4b4e4fbcfc63 (patch) | |
| tree | b80cc24369f34d4ec0802866f17b96ce5dff5a92 /src/checker.cpp | |
| parent | 482c687462f21d80b2f026cdb870dafcb06bfb88 (diff) | |
Fix #622 on both backends
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions