diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2025-06-05 22:27:18 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2025-06-05 22:27:18 +0200 |
| commit | 108c8781c7da7342587a33a598051d3377bb0a4d (patch) | |
| tree | af4a7fafd4049b0f26d4807657a1e6e258b0fe77 /src/check_type.cpp | |
| parent | 90a1b0ec4b5a0630be329d086f4c08a7c54a74e7 (diff) | |
Factor out into helper.
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions