diff options
author | Paramat <paramat@users.noreply.github.com> | 2019-04-09 03:20:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-09 03:20:27 +0100 |
commit | 1e5f2e0f133af42764dcd9386ccd59f4bf948328 (patch) | |
tree | b2cde04293ba0bf58423dcd430b1978ae206cef2 /.gitignore | |
parent | 8306f7d2e201f7b7ff5d6d469abf31bff148286d (diff) | |
download | minetest-1e5f2e0f133af42764dcd9386ccd59f4bf948328.tar.gz minetest-1e5f2e0f133af42764dcd9386ccd59f4bf948328.tar.bz2 minetest-1e5f2e0f133af42764dcd9386ccd59f4bf948328.zip |
Nodedef 'drop' documentation: Improve, add tool filtering (#8458)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions