diff options
| author | Vitaliy <silverunicorn2011@yandex.ru> | 2018-06-30 16:13:53 +0300 |
|---|---|---|
| committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-06-30 15:13:53 +0200 |
| commit | 9f19b7d9367c5dc2758a9d4690b091b745fc821d (patch) | |
| tree | 75c28235f5bcdf59a9860eb0c5ad23064d3148f6 /src/gui/guiPathSelectMenu.cpp | |
| parent | f3b7be97feb5f1de8f31c1841cb7fdd3d89ac451 (diff) | |
| download | minetest-9f19b7d9367c5dc2758a9d4690b091b745fc821d.tar.gz minetest-9f19b7d9367c5dc2758a9d4690b091b745fc821d.tar.bz2 minetest-9f19b7d9367c5dc2758a9d4690b091b745fc821d.zip | |
Fix world deletion (#7494)
* Fix world deletion
Diffstat (limited to 'src/gui/guiPathSelectMenu.cpp')
0 files changed, 0 insertions, 0 deletions