diff options
author | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-06-11 19:19:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-11 19:19:06 +0200 |
commit | 2b30f8b849ff5375f46ba60fef49dd4df2bb2148 (patch) | |
tree | 6f748cad9fc725e4362d08fe90f5a6d4bff1041c /lib/gmp/CMakeLists.txt | |
parent | 956a0ba180883eb31f504b27577073a949fe7b05 (diff) | |
download | minetest-2b30f8b849ff5375f46ba60fef49dd4df2bb2148.tar.gz minetest-2b30f8b849ff5375f46ba60fef49dd4df2bb2148.tar.bz2 minetest-2b30f8b849ff5375f46ba60fef49dd4df2bb2148.zip |
Android: fix tools versions
Resync with stable-0.4
Diffstat (limited to 'lib/gmp/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions