diff options
author | rubenwardy <rubenwardy@gmail.com> | 2017-01-18 10:19:57 +0000 |
---|---|---|
committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-01-18 11:19:57 +0100 |
commit | c5967f75f0a9827d1b65b384edd6ba07c73ffd2f (patch) | |
tree | c52b2a94a74c9513a103e86ba670a6d38a7be278 /src/script/lua_api/l_env.h | |
parent | a378e32751127e2ae3708a33f035d1dcf5d400a1 (diff) | |
download | minetest-c5967f75f0a9827d1b65b384edd6ba07c73ffd2f.tar.gz minetest-c5967f75f0a9827d1b65b384edd6ba07c73ffd2f.tar.bz2 minetest-c5967f75f0a9827d1b65b384edd6ba07c73ffd2f.zip |
Add minetest.player_exists() (#5064)
Diffstat (limited to 'src/script/lua_api/l_env.h')
0 files changed, 0 insertions, 0 deletions