mirror of
https://github.com/minetest/minetest.git
synced 2024-12-28 08:57:30 +01:00
181f7baa45
Uses system provided libgmp if found, if not it falls back to mini-gmp. |
||
---|---|---|
.. | ||
buildbot | ||
travis | ||
wireshark | ||
bump_version.sh | ||
colors.txt | ||
generate-texture-normals.sh | ||
minetestmapper.py | ||
sectors2sqlite.py | ||
test_multiplayer.sh | ||
updatepo.sh |