diff options
| author | SmallJoker <SmallJoker@users.noreply.github.com> | 2018-09-30 19:57:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-30 19:57:31 +0200 |
| commit | a29bc8e8babd9320b629e67dee753a08d18799d3 (patch) | |
| tree | e503c16f83bd954f2541566155980d6af84a156b /src/gui/guiKeyChangeMenu.h | |
| parent | 18a8fbf465b47c4780d63f34c960af7a52d0cf82 (diff) | |
| download | minetest-a29bc8e8babd9320b629e67dee753a08d18799d3.tar.gz minetest-a29bc8e8babd9320b629e67dee753a08d18799d3.tar.bz2 minetest-a29bc8e8babd9320b629e67dee753a08d18799d3.zip | |
Remove settings properly (#7676)
Diffstat (limited to 'src/gui/guiKeyChangeMenu.h')
0 files changed, 0 insertions, 0 deletions