diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2023-06-13 09:48:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-13 09:48:50 +0200 |
| commit | 10fa67fdaa5aca5f3c3c63ae478bdd67a00de137 (patch) | |
| tree | 815a802dca8fda5001b13e2e3438fc3be744452d /src/check_type.cpp | |
| parent | d97dd99d9186e7841346a7124b2224ffa8617fc5 (diff) | |
| parent | 10f2136675f3437c0f74243bd45ed09d2d9a1cea (diff) | |
Merge pull request #2589 from jlreymendez/master
fix: read file from windows was not returning platform error correctly
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions