diff options
| author | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-04-15 23:19:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-15 23:19:18 +0200 |
| commit | 34d32ce55ae4f3f29d7b645075dc8efacb2c96d2 (patch) | |
| tree | 6e21a37780352412b853fd242b6177eff2afd0fd /build/android/Makefile | |
| parent | 0f955bf7fa7a1376acdbc06a617c0f15f9fad467 (diff) | |
| download | minetest-34d32ce55ae4f3f29d7b645075dc8efacb2c96d2.tar.gz minetest-34d32ce55ae4f3f29d7b645075dc8efacb2c96d2.tar.bz2 minetest-34d32ce55ae4f3f29d7b645075dc8efacb2c96d2.zip | |
Implement delayed server shutdown with cancelation (#4664)
Diffstat (limited to 'build/android/Makefile')
0 files changed, 0 insertions, 0 deletions