diff options
| author | stujones11 <stujones111@gmail.com> | 2018-11-26 21:55:24 +0000 |
|---|---|---|
| committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-11-26 22:55:24 +0100 |
| commit | 9519d57017cfa28eb4f2fbf3c780f826017bbb00 (patch) | |
| tree | 2e6d55e1f5c0acb74028c0e5ebfe69b631b1ffdd /builtin/profiler | |
| parent | 8ba64e43fe69ecdf31ded0b5aeee625fcc08168a (diff) | |
| download | minetest-9519d57017cfa28eb4f2fbf3c780f826017bbb00.tar.gz minetest-9519d57017cfa28eb4f2fbf3c780f826017bbb00.tar.bz2 minetest-9519d57017cfa28eb4f2fbf3c780f826017bbb00.zip | |
Make non-formspec modal menus respect gui scale (#7850)
Diffstat (limited to 'builtin/profiler')
0 files changed, 0 insertions, 0 deletions