Some minor Lua API documentation clarifications (#9461)
authorWuzzy <wuzzy2@mail.ru>
Mon, 6 Apr 2020 14:05:27 +0000 (16:05 +0200)
committerGitHub <noreply@github.com>
Mon, 6 Apr 2020 14:05:27 +0000 (16:05 +0200)
commitfaedde08f96b671078d9d3273da468db3454713c
treeed38d22623e556ea5411ad1ba694ec78924caad3
parent528b162d9fb5acd517b3af1e5de79ec170903af8
Some minor Lua API documentation clarifications (#9461)

See #5854
doc/lua_api.txt