diff options
author | zeuner <github@quidecco.de> | 2018-07-26 21:49:38 +0200 |
---|---|---|
committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2018-07-26 21:49:38 +0200 |
commit | d7d451c647f1fff7983178a9817888f4d0bab695 (patch) | |
tree | d90bec499cde3a78007e85c6745d2a40e08e95fe /builtin/mainmenu/common.lua | |
parent | 0d55879a1ad29322d586a1acc1bb6de1fa6b3f6d (diff) | |
download | minetest-d7d451c647f1fff7983178a9817888f4d0bab695.tar.gz minetest-d7d451c647f1fff7983178a9817888f4d0bab695.tar.bz2 minetest-d7d451c647f1fff7983178a9817888f4d0bab695.zip |
Fix build on gcc 5.0 (#7586)
Diffstat (limited to 'builtin/mainmenu/common.lua')
0 files changed, 0 insertions, 0 deletions