diff options
| author | Leonid Bobrov <mazocomp@disroot.org> | 2018-06-26 11:00:33 +0300 |
|---|---|---|
| committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-06-26 10:00:33 +0200 |
| commit | ae8ae6c9062cde3f8bc388f4ab23c6ff65b5af40 (patch) | |
| tree | 551b993ccd694a218b7e80879547c829ef03764d /src/script/scripting_mainmenu.h | |
| parent | e4e95e47afa86b7c522d5b5e64c6ed10094108ff (diff) | |
| download | minetest-ae8ae6c9062cde3f8bc388f4ab23c6ff65b5af40.tar.gz minetest-ae8ae6c9062cde3f8bc388f4ab23c6ff65b5af40.tar.bz2 minetest-ae8ae6c9062cde3f8bc388f4ab23c6ff65b5af40.zip | |
Fix libgmp detection (#7488)
Diffstat (limited to 'src/script/scripting_mainmenu.h')
0 files changed, 0 insertions, 0 deletions