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/util/pointedthing.h | |
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/util/pointedthing.h')
0 files changed, 0 insertions, 0 deletions