Add AreaStore custom ID API
authorShadowNinja <shadowninja@minetest.net>
Sat, 31 Oct 2015 00:38:22 +0000 (20:38 -0400)
committerShadowNinja <shadowninja@minetest.net>
Mon, 7 Mar 2016 21:33:20 +0000 (16:33 -0500)
commit3ce6642a26d43fd368c24cdfc5460557258fb44f
tree3f84e8a4491abc6c9bc4a615dea018fdd8cf0697
parent821551a2669123ac9a476894d65b5efe10026040
Add AreaStore custom ID API
builtin/game/features.lua
doc/lua_api.txt
src/script/lua_api/l_areastore.cpp
src/util/areastore.cpp
src/util/areastore.h