Add minetest.player_exists() (#5064)
authorrubenwardy <rubenwardy@gmail.com>
Wed, 18 Jan 2017 10:19:57 +0000 (10:19 +0000)
committerLoïc Blot <nerzhul@users.noreply.github.com>
Wed, 18 Jan 2017 10:19:57 +0000 (11:19 +0100)
commitc5967f75f0a9827d1b65b384edd6ba07c73ffd2f
treec52b2a94a74c9513a103e86ba670a6d38a7be278
parenta378e32751127e2ae3708a33f035d1dcf5d400a1
Add minetest.player_exists() (#5064)
builtin/game/misc.lua
doc/lua_api.txt