diff options
| author | rubenwardy <rw@rubenwardy.com> | 2019-02-03 17:30:33 +0000 |
|---|---|---|
| committer | rubenwardy <rw@rubenwardy.com> | 2019-02-03 17:31:28 +0000 |
| commit | 9a071d66a59bd0db72d09a3ca75b2ab9247dda92 (patch) | |
| tree | 131f315eace9fffbc53678d92a6bc37427b8ea6b /lib/gmp/mini-gmp.h | |
| parent | 809cb9fc0bcf89d247f509a42351db102a0e278c (diff) | |
| download | minetest-9a071d66a59bd0db72d09a3ca75b2ab9247dda92.tar.gz minetest-9a071d66a59bd0db72d09a3ca75b2ab9247dda92.tar.bz2 minetest-9a071d66a59bd0db72d09a3ca75b2ab9247dda92.zip | |
Fix core.download_file() creating empty files on HTTP error
Diffstat (limited to 'lib/gmp/mini-gmp.h')
0 files changed, 0 insertions, 0 deletions