diff options
| author | Buckaroo Banzai <39065740+BuckarooBanzay@users.noreply.github.com> | 2020-09-26 15:32:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-26 15:32:49 +0200 |
| commit | 9eb4516cbc6a5a790dcb77178e1f1408ec0b06d0 (patch) | |
| tree | 2ce799f0c22e9c94ae6a7c23cc4b6735f3f96c27 /src/gui/mainmenumanager.h | |
| parent | 09af0c5946c7082fc82563faf0ad9ef144fb9a06 (diff) | |
| download | minetest-9eb4516cbc6a5a790dcb77178e1f1408ec0b06d0.tar.gz minetest-9eb4516cbc6a5a790dcb77178e1f1408ec0b06d0.tar.bz2 minetest-9eb4516cbc6a5a790dcb77178e1f1408ec0b06d0.zip | |
Enable LuaJIT on the Docker image (#10414)
Diffstat (limited to 'src/gui/mainmenumanager.h')
0 files changed, 0 insertions, 0 deletions