diff options
author | ClobberXD <ClobberXD@gmail.com> | 2018-07-16 18:25:04 +0530 |
---|---|---|
committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-07-16 14:55:03 +0200 |
commit | a0635f602487944d25c03efecee61cecf3bdb5ab (patch) | |
tree | a7a06628ef9abc7240303c1bae367610d540c91e /src/nodetimer.h | |
parent | 1aaee5b30d2c28e3256a0c8c3fc3784af91fb21b (diff) | |
download | minetest-a0635f602487944d25c03efecee61cecf3bdb5ab.tar.gz minetest-a0635f602487944d25c03efecee61cecf3bdb5ab.tar.bz2 minetest-a0635f602487944d25c03efecee61cecf3bdb5ab.zip |
Check if player exists on use of /privs (#7554)
* /privs: Check if player exists
Diffstat (limited to 'src/nodetimer.h')
0 files changed, 0 insertions, 0 deletions