diff options
| author | gingerBill <bill@gingerbill.org> | 2018-05-12 18:40:49 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2018-05-12 18:40:49 +0100 |
| commit | 2ef22e86e0742d6dcf0e8c4796f126134e808086 (patch) | |
| tree | 04e93cb32d73adaa3826bb46a33231219902b59f /src/main.cpp | |
| parent | 830f4f540fdbe30b22e93540249e61c1d1521f9b (diff) | |
Make `any` use `typeid` rather than `^Type_Info`
Diffstat (limited to 'src/main.cpp')
0 files changed, 0 insertions, 0 deletions