diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-01-08 13:54:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-08 13:54:38 +0100 |
| commit | 9f6ec20f54085597a1299bd74fee06a23d7cb3e8 (patch) | |
| tree | a5d24ed5f921154a39e1de07f9be94d0a4e22c1d /editor/editor_properties.h | |
| parent | 359914d858b6fa71b14d1a667c3a036990154f30 (diff) | |
| parent | c6802a65c6eba96ec033f46a4e9162abbe738d28 (diff) | |
Merge pull request #45016 from akien-mga/thirdparty-copyright-update
COPYRIGHT: Update with recent additions, cleanup
Diffstat (limited to 'editor/editor_properties.h')
0 files changed, 0 insertions, 0 deletions