luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-17 10:25:21 +02:00
Code Activity
4,945 Commits 5 Branches 73 Tags
8ae30bb9d6a9b0ef4e3f5d7ae0b284cd8d1d2c38
Commit Graph

1 Commits

Author SHA1 Message Date
est31
181f7baa45 Add LibGMP 
Uses system provided libgmp if found, if not it falls back to mini-gmp.
 2015-05-11 17:48:33 +02:00