diff options
author | rubenwardy <rw@rubenwardy.com> | 2021-01-22 15:09:26 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-22 15:09:26 +0000 |
commit | 4c76239818f5159314f30883f98b977d30aaa26c (patch) | |
tree | 42d2fc37b1e5ed2ad1c450a5547fce2ddec75b65 /src/gui/guiMainMenu.h | |
parent | 67aa75d444d0e5cfff2728dbbcffd6f95b2fe88b (diff) | |
download | minetest-4c76239818f5159314f30883f98b977d30aaa26c.tar.gz minetest-4c76239818f5159314f30883f98b977d30aaa26c.tar.bz2 minetest-4c76239818f5159314f30883f98b977d30aaa26c.zip |
Remove dead code (#10845)
Diffstat (limited to 'src/gui/guiMainMenu.h')
0 files changed, 0 insertions, 0 deletions