diff options
author | Loïc Blot <nerzhul@users.noreply.github.com> | 2019-01-04 16:41:42 +0100 |
---|---|---|
committer | Loïc Blot <loic.blot@unix-experience.fr> | 2019-01-04 16:45:37 +0100 |
commit | 9854340c0b21d01a94ba7ef526c775e59e37b898 (patch) | |
tree | edb0751e0b303d214c5e80a4b5f534583017daa7 /builtin/common/async_event.lua | |
parent | 6b978f88e3c84ba55a2ef8fb0fbe1356aa13733f (diff) | |
download | minetest-9854340c0b21d01a94ba7ef526c775e59e37b898.tar.gz minetest-9854340c0b21d01a94ba7ef526c775e59e37b898.tar.bz2 minetest-9854340c0b21d01a94ba7ef526c775e59e37b898.zip |
Drop libgmp on Android and use mini-gmp (#8047)
Diffstat (limited to 'builtin/common/async_event.lua')
0 files changed, 0 insertions, 0 deletions