diff options
author | TheTermos <55103816+TheTermos@users.noreply.github.com> | 2020-05-14 19:28:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-14 19:28:27 +0200 |
commit | 6ef7ad09bbed9176d0d15f53b5cb14ef6e18a3b2 (patch) | |
tree | 5a1ba7d06b12b9073beac460efd04c18cf0c9794 /.gitattributes | |
parent | 836dd4a1e4f97411519578cd9e59b6dbe3b2c00d (diff) | |
download | minetest-6ef7ad09bbed9176d0d15f53b5cb14ef6e18a3b2.tar.gz minetest-6ef7ad09bbed9176d0d15f53b5cb14ef6e18a3b2.tar.bz2 minetest-6ef7ad09bbed9176d0d15f53b5cb14ef6e18a3b2.zip |
Collision detection - #9343 follow-up (#9764)
* truncate speed to prevent inf result
* code styling
* change truncate() input parameters
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions