diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-02-22 12:48:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-22 12:48:14 +0100 |
commit | 258bc0385762b5d1dceff520e0c4e1c4e4e512a0 (patch) | |
tree | 4020f032636acf95df6183f4e692ceae2f1d5477 /modules/mono/godotsharp_defs.h | |
parent | 2985eabc7fa86fd61eb3b570a7597721e91dfae4 (diff) | |
parent | e22f6e9aceeac46de33629c92dac1d4e6b740964 (diff) |
Merge pull request #26153 from godotengine/revert-26111-areaopti
Revert "Optimized area check"
Diffstat (limited to 'modules/mono/godotsharp_defs.h')
0 files changed, 0 insertions, 0 deletions