diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-16 09:24:10 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-16 09:24:10 +0200 |
| commit | 3546add9b3dd350e41b483d81721bae1dc3adc44 (patch) | |
| tree | 4aba8d5075255cb83f34945bd50590593791a86c /doc/tools | |
| parent | 37146763b189a04596aeff83bded0e0a23868714 (diff) | |
| parent | 9066d5576346fccef1aca5c0f80c5c97216bb9b7 (diff) | |
Merge pull request #60786 from Rindbee/update-editor-property-status
Update checked based on the variant type of the value
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions