diff options
| author | gingerBill <bill@gingerbill.org> | 2023-06-12 14:49:00 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2023-06-12 14:49:00 +0100 |
| commit | 52a926dd903b85a1784726e1beb0ea830c302b5f (patch) | |
| tree | 4aecd8170d2c5e8d4675f35108149f95e32573cf /src/check_type.cpp | |
| parent | 2022a7615aeb476521ad4eac168b2cdc231ba931 (diff) | |
Deprecate `-disallow-rtti` in favour of `-no-rtti`
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions