diff options
author | v-rob <robinsonvincent89@gmail.com> | 2020-07-03 09:33:23 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-03 18:33:23 +0200 |
commit | da71313e1df3326c2b9ddb410b963ec25682319e (patch) | |
tree | 23bdbf75cd52822519749827480f0df60db8eacb /src/gui/guiEditBoxWithScrollbar.h | |
parent | 3f702fa1a9ace33111256ed7b7d5579099830015 (diff) | |
download | minetest-da71313e1df3326c2b9ddb410b963ec25682319e.tar.gz minetest-da71313e1df3326c2b9ddb410b963ec25682319e.tar.bz2 minetest-da71313e1df3326c2b9ddb410b963ec25682319e.zip |
Don't stop style parsing on unknown property (#10143)
Diffstat (limited to 'src/gui/guiEditBoxWithScrollbar.h')
0 files changed, 0 insertions, 0 deletions