diff options
| author | gingerBill <bill@gingerbill.org> | 2023-11-23 17:16:21 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2023-11-23 17:16:21 +0000 |
| commit | 0888c69b57604b674b6c220c6f60297d98bae58c (patch) | |
| tree | 77a4bbc092d6d2495caf9030fb8241a6bfdd503a /src/checker.cpp | |
| parent | ab39644156e48231e4b1c985de87d8487825afa3 (diff) | |
Remove unneeded `typeid_of`
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions