diff options
| author | rubenwardy <rw@rubenwardy.com> | 2018-08-20 13:56:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-20 13:56:16 +0100 |
| commit | 5a26e46aaa38cccb2b38cfc784364f1f265cec9b (patch) | |
| tree | 631472ad4c1524f713bade12ad4a9c2e86508a50 /builtin/profiler/reporter.lua | |
| parent | 3cc25b700ac07db8670becb7dcab33cac75b59f3 (diff) | |
| download | minetest-5a26e46aaa38cccb2b38cfc784364f1f265cec9b.tar.gz minetest-5a26e46aaa38cccb2b38cfc784364f1f265cec9b.tar.bz2 minetest-5a26e46aaa38cccb2b38cfc784364f1f265cec9b.zip | |
Formspecs: Fix invalid background warning
Clipped backgrounds are still valid with no size[] tag, as they will apply themselves correctly to any size
Fixes #7197
Diffstat (limited to 'builtin/profiler/reporter.lua')
0 files changed, 0 insertions, 0 deletions