diff options
author | Paramat <paramat@users.noreply.github.com> | 2019-01-26 13:14:06 +0000 |
---|---|---|
committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2019-01-26 14:14:06 +0100 |
commit | 15110864c82ef1c8426a1d4efe5f2b5ce7c6ffd7 (patch) | |
tree | d75fd2a822cca51d01d7e5cceabf6fc63142ac86 /builtin/profiler | |
parent | ded522b2ee00b8f325b5f5fe216d67dd8a15f42a (diff) | |
download | minetest-15110864c82ef1c8426a1d4efe5f2b5ce7c6ffd7.tar.gz minetest-15110864c82ef1c8426a1d4efe5f2b5ce7c6ffd7.tar.bz2 minetest-15110864c82ef1c8426a1d4efe5f2b5ce7c6ffd7.zip |
Rename 'Advanced Settings' button to 'All Settings' (#8131)
Diffstat (limited to 'builtin/profiler')
0 files changed, 0 insertions, 0 deletions