diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-11-10 21:56:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-10 21:56:20 +0100 |
| commit | 7b3abf17fdde312eb8ae85924e511f30bce4ea3b (patch) | |
| tree | 9e688f0b0e5b223a5e110d90ebe6dc8f9ebaaac7 /editor/editor_properties.h | |
| parent | 3668312e786d0e06fee627e5255edef88710cc9b (diff) | |
| parent | e3def401609a7fd0304779d0a95f01e039e7478d (diff) | |
Merge pull request #49708 from megalobyte/editor_description_fix
Diffstat (limited to 'editor/editor_properties.h')
0 files changed, 0 insertions, 0 deletions