diff options
| author | Paramat <paramat@users.noreply.github.com> | 2018-10-20 09:35:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-20 09:35:39 +0100 |
| commit | 31a6dd956003e1dc69ab4bf9d5461e5f4c47b2f6 (patch) | |
| tree | a9d651bab9772dc9e33e0f2c33f5fa553f923a7f /src/gui/guiKeyChangeMenu.h | |
| parent | e369eb1a9b2d65629d444fb305925e0d1b859b6f (diff) | |
| download | minetest-31a6dd956003e1dc69ab4bf9d5461e5f4c47b2f6.tar.gz minetest-31a6dd956003e1dc69ab4bf9d5461e5f4c47b2f6.tar.bz2 minetest-31a6dd956003e1dc69ab4bf9d5461e5f4c47b2f6.zip | |
Settingtypes.txt: Various language improvements, document stable mapgens (#7801)
Diffstat (limited to 'src/gui/guiKeyChangeMenu.h')
0 files changed, 0 insertions, 0 deletions