diff options
| author | rubenwardy <rw@rubenwardy.com> | 2018-12-06 23:32:15 +0000 |
|---|---|---|
| committer | Paramat <paramat@users.noreply.github.com> | 2018-12-06 23:32:15 +0000 |
| commit | 0c6933bdf72f09e23604606769b68b5ae3ce42b7 (patch) | |
| tree | e6f450ce6855bc0b11a40a0d9a43e468dc68568d /src/gui/guiMainMenu.h | |
| parent | 08884d258b02e9929919a1913aa763a2eabef285 (diff) | |
| download | minetest-0c6933bdf72f09e23604606769b68b5ae3ce42b7.tar.gz minetest-0c6933bdf72f09e23604606769b68b5ae3ce42b7.tar.bz2 minetest-0c6933bdf72f09e23604606769b68b5ae3ce42b7.zip | |
Disable game bar and header on Android (#7940)
Diffstat (limited to 'src/gui/guiMainMenu.h')
0 files changed, 0 insertions, 0 deletions