diff options
| author | Craig Robbins <kde.psych@gmail.com> | 2014-11-15 22:33:52 +1000 |
|---|---|---|
| committer | Craig Robbins <kde.psych@gmail.com> | 2014-11-15 22:33:52 +1000 |
| commit | f0a8f655c0d547f3804207d40a2f1a7e05b4c5c8 (patch) | |
| tree | 4889a2811b645dc207d15d8a7320168eccff6e93 /build/android/project.properties | |
| parent | 8831703428aeb47600c3b8f72daeb03154c916ce (diff) | |
| download | minetest-f0a8f655c0d547f3804207d40a2f1a7e05b4c5c8.tar.gz minetest-f0a8f655c0d547f3804207d40a2f1a7e05b4c5c8.tar.bz2 minetest-f0a8f655c0d547f3804207d40a2f1a7e05b4c5c8.zip | |
Fix double free bug when server is shut down
Thanks @oleastre
Diffstat (limited to 'build/android/project.properties')
0 files changed, 0 insertions, 0 deletions