Merge pull request #2084 from durswd/enable_rtti
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 18 Feb 2020 02:27:46 +0000 (19:27 -0700)
committerGitHub <noreply@github.com>
Tue, 18 Feb 2020 02:27:46 +0000 (19:27 -0700)
commit113d07a6ebda96ab758a8de70455af2ab83a658a
tree7073ffc4b6f78a77dcc8cc60d5ae55056e79f312
parentae59435606fc5bc453cf4e32320e6579ff7ea22e
parentb8483872623fc8c8d1671735e78d17e69bad69d1
Merge pull request #2084 from durswd/enable_rtti

Add an option to make RTTI enabled