diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-10-13 21:04:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-13 21:04:13 +0200 |
commit | a801a2031dd55ab365da82c1f6bd90bf85f352fb (patch) | |
tree | 38258be818ed271f246c576c5ac0a0eb7e672747 /editor/property_editor.h | |
parent | fd2dcba02ceda5a361fae5e65cd73a39a583b984 (diff) | |
parent | 28c163a432b8eade0847103febd6bee4de127054 (diff) |
Merge pull request #53773 from nathanfranke/fix-license-character-encoding
Diffstat (limited to 'editor/property_editor.h')
0 files changed, 0 insertions, 0 deletions