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 /builtin/game | |
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 'builtin/game')
-rw-r--r-- | builtin/game/features.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/builtin/game/features.lua b/builtin/game/features.lua index 51d21e86c..0af0dc1da 100644 --- a/builtin/game/features.lua +++ b/builtin/game/features.lua @@ -14,6 +14,7 @@ core.features = { object_independent_selectionbox = true, httpfetch_binary_data = true, formspec_version_element = true, + area_store_persistent_ids = true, } function core.has_feature(arg) |