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 /client/serverlist/.gitignore | |
| 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 'client/serverlist/.gitignore')
0 files changed, 0 insertions, 0 deletions