diff options
| author | Jeroen van Rijn <jeroen@paramythic.com> | 2019-03-15 07:37:20 +0100 |
|---|---|---|
| committer | Jeroen van Rijn <jeroen@paramythic.com> | 2019-03-15 07:37:20 +0100 |
| commit | 61b07335d86a5f48475d496a14f23185964633ed (patch) | |
| tree | e5a2f173a26d7532b1cfad0f3a80e34eda6f779a /src/checker.cpp | |
| parent | 712744ef367045f21c017137ad1856dca8814e7b (diff) | |
Fix build error on !Windows.
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions