diff options
| author | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-05-19 07:25:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-19 07:25:27 +0200 |
| commit | e25a38e3fbb156ae2bc72cc66aef014ae3963407 (patch) | |
| tree | f7f4f7e6e823650a60f4607e07d12d6705292eef /lib/gmp | |
| parent | 1c6d2f596df8fc2254916cf323bdbaf13905aebf (diff) | |
| download | minetest-e25a38e3fbb156ae2bc72cc66aef014ae3963407.tar.gz minetest-e25a38e3fbb156ae2bc72cc66aef014ae3963407.tar.bz2 minetest-e25a38e3fbb156ae2bc72cc66aef014ae3963407.zip | |
When minimap is disabled in configuration, really disable it (#5771)
* When minimap is disabled in configuration, really disable it
Diffstat (limited to 'lib/gmp')
0 files changed, 0 insertions, 0 deletions