diff options
author | Pavel Puchkin <i@neoascetic.me> | 2017-08-24 07:58:12 +0200 |
---|---|---|
committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-08-24 07:58:12 +0200 |
commit | 928609c8bd9d4e6129ab244214bd5c54d000b737 (patch) | |
tree | 20c26cb3fc52f88bc564d9d080fb3782d7f4cd2e /src/script/scripting_mainmenu.h | |
parent | f7d50a80782376d2e1c068e4d0a7ce9632f28bda (diff) | |
download | minetest-928609c8bd9d4e6129ab244214bd5c54d000b737.tar.gz minetest-928609c8bd9d4e6129ab244214bd5c54d000b737.tar.bz2 minetest-928609c8bd9d4e6129ab244214bd5c54d000b737.zip |
Fix OSX builds (closes #6289, fixes #6270) (#6306)
Of course, this is not ideal solution, but we want our users to be happy in the
first place, right?
Diffstat (limited to 'src/script/scripting_mainmenu.h')
0 files changed, 0 insertions, 0 deletions