diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-01-12 06:14:15 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-01-12 06:14:15 -0300 |
commit | a625f7d07317ac4fac21962a99a7896ed13010c7 (patch) | |
tree | ffd18fbbd0507555e8c9966947e5c6a4bb1db1ad /scene/resources | |
parent | eab1e5b5967ccebf00ce1d456eb1fd6ee28ec96d (diff) |
-Properly lock and and warn about switching off contact monitoring, fixes #3041
Diffstat (limited to 'scene/resources')
0 files changed, 0 insertions, 0 deletions