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 /thirdparty/enet | |
parent | 46af4b0a4b73a14f01a1aba9b0a8ab0bef05252a (diff) |
Fix collision margin being wrongly read by default, fixes #25181
Diffstat (limited to 'thirdparty/enet')
0 files changed, 0 insertions, 0 deletions