| commit | 854439c6b909e066328d324b1d5a3a9058f20b2d | [log] [tgz] |
|---|---|---|
| author | John Kessenich <johnkslang@users.noreply.github.com> | Fri Jul 12 18:29:13 2019 -0600 |
| committer | GitHub <noreply@github.com> | Fri Jul 12 18:29:13 2019 -0600 |
| tree | 0e970d94599825f4e499997545fb3935c1c4db00 | |
| parent | 71892a5eda90fd7d3d6ccc12745f066d0ca5dc5f [diff] | |
| parent | bbf172b51882447e9406e7441fb30df7ec8405a0 [diff] |
Merge pull request #1834 from zoddicus/addRTTIFlag Explicitly remove RTTI in the top-level build config