diff options
| author | SmallJoker <SmallJoker@users.noreply.github.com> | 2019-09-21 17:54:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-21 17:54:52 +0200 |
| commit | fec30e37ac1d160a942777b05a7717b5395c4d99 (patch) | |
| tree | bd0fcdf9778bfbea6be5f10dba6936780259c1fd /Dockerfile | |
| parent | 5fa614d97e13af64be490336392abe2a54fdcbc1 (diff) | |
| download | minetest-fec30e37ac1d160a942777b05a7717b5395c4d99.tar.gz minetest-fec30e37ac1d160a942777b05a7717b5395c4d99.tar.bz2 minetest-fec30e37ac1d160a942777b05a7717b5395c4d99.zip | |
Fix AreaStore's IDs persistence (#8888)
Improve documentation
Read old formats
Fix free ID function. Return first gap in map
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions