diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-21 17:10:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-21 17:10:51 +0200 |
| commit | c29ef774d8fde7dda2a75f5966fde6815fb0358f (patch) | |
| tree | e0a48740297f1564635e0e4c803d97ff6969c6f0 /modules/mono/editor/GodotSharpTools/Properties | |
| parent | 7d42ca838486ce4a737e074b60fffd81de1bc971 (diff) | |
| parent | 4b20959d99645e591e5214a0883e31f29ef5a8a9 (diff) | |
Merge pull request #29032 from akien-mga/tools-exceptions-rtti
SCons: Keep exceptions and rtti on Android, iOS and HTML5 tools build
Diffstat (limited to 'modules/mono/editor/GodotSharpTools/Properties')
0 files changed, 0 insertions, 0 deletions