diff options
| author | ANAND <ClobberXD@gmail.com> | 2019-04-27 18:05:28 +0530 |
|---|---|---|
| committer | sfan5 <sfan5@live.de> | 2019-04-29 14:08:34 +0200 |
| commit | e32a630937de69454c741e93979a7889fcddc7a9 (patch) | |
| tree | 51467c889e82ca122f4f04a8fcd34ca6787354cc /src/gui/guiEditBoxWithScrollbar.cpp | |
| parent | c4578aefe7dd920668ce77a99387ee3581f47311 (diff) | |
| download | minetest-e32a630937de69454c741e93979a7889fcddc7a9.tar.gz minetest-e32a630937de69454c741e93979a7889fcddc7a9.tar.bz2 minetest-e32a630937de69454c741e93979a7889fcddc7a9.zip | |
Better document behavior of on_punchplayer
Esp. the fact that it's invoked even if the punched player is dead
Diffstat (limited to 'src/gui/guiEditBoxWithScrollbar.cpp')
0 files changed, 0 insertions, 0 deletions