diff options
| author | Zughy <63455151+Zughy@users.noreply.github.com> | 2020-05-13 11:56:26 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-13 13:56:26 +0200 |
| commit | 4e997e9d047068bfccd30fb700e2b3b9f48fda4c (patch) | |
| tree | bfe5a3aec18ac95f07be4833f7f6e430ef73e8ff /src/script/lua_api/l_server.h | |
| parent | 7ec76e530db9c3ed093e6edeca156e9311a6378a (diff) | |
| download | minetest-4e997e9d047068bfccd30fb700e2b3b9f48fda4c.tar.gz minetest-4e997e9d047068bfccd30fb700e2b3b9f48fda4c.tar.bz2 minetest-4e997e9d047068bfccd30fb700e2b3b9f48fda4c.zip | |
Document inf value in rollback commands (#9789)
Diffstat (limited to 'src/script/lua_api/l_server.h')
0 files changed, 0 insertions, 0 deletions