diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-04-23 12:05:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-23 12:05:22 +0200 |
commit | baad65709123d6e7385fd5dc6a16187c7b32e5bb (patch) | |
tree | 5a6cb9165302a9a404712e2ebce008433fbf1530 /editor/plugins | |
parent | f2d3d3e6791591a572515ea0768bf9c8fb71acd8 (diff) | |
parent | c230c6db98e98c3a473e13d6116481fef9fa4ac1 (diff) |
Merge pull request #28321 from jbuck3/checkable-property-fix
Fix drawing of checkable editor properties
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions