est31 33a633a631 Fix libgmp for Android ... Android terminated immediately after start since commit 181f7baa45 because library wasn't loaded, and libminetest.so required libgmp.so.10 instead of libgmp.so. The second issue has been solved by the linker flags.		2015-05-15 05:08:59 +02:00
..
net/minetest/minetest	Fix libgmp for Android	2015-05-15 05:08:59 +02:00