diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-12-15 10:35:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-15 10:35:02 +0100 |
commit | 9c5fd893658bd4823a081e8cde06887851fa08d2 (patch) | |
tree | 051314ef40797ff31ec7600481ff5e7725bd303a /doc/classes/Variant.xml | |
parent | ce7d3bb1c7a4d146c1afaef7d1cde414162d4d02 (diff) | |
parent | bbaf212c62422ade6fbe83fbab78fc46a6103184 (diff) |
Merge pull request #34361 from timothyqiu/group-editor-min-size
Fixes wrong minimum size of Group Editor
Diffstat (limited to 'doc/classes/Variant.xml')
0 files changed, 0 insertions, 0 deletions