diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2019-01-22 10:14:43 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2019-01-22 10:15:18 -0300 |
| commit | e081cec69f9719e0d481c077751ea7049b0eaacd (patch) | |
| tree | 3f55ece4587e20f27db7d4dd0f62e9a4e3eba90d /platform_methods.py | |
| parent | 46af4b0a4b73a14f01a1aba9b0a8ab0bef05252a (diff) | |
Fix collision margin being wrongly read by default, fixes #25181
Diffstat (limited to 'platform_methods.py')
0 files changed, 0 insertions, 0 deletions