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 /platform/javascript/platform_config.h | |
| 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 'platform/javascript/platform_config.h')
0 files changed, 0 insertions, 0 deletions