diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-08 12:28:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-08 12:28:08 +0100 |
| commit | 67961368aa4b4b9ccb863c65bf40fb1c23dc0ee7 (patch) | |
| tree | 2ea3deb71e6c2b0dbdf6c67d6194a022525737ec /editor | |
| parent | be15a016f40e1317f70bb93c27ce0d1b1701f46b (diff) | |
| parent | 12c2363290e0c2e2f827d761a20012b859bcffc3 (diff) | |
Merge pull request #33441 from groud/clarify_shape_centered
Clarify shape_centered property
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions