diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-23 16:04:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-23 16:04:46 +0100 |
| commit | eb5aa3218f6b29b82d14468368c6388b923b89fd (patch) | |
| tree | a775aacc6811d0664faf7a8982ecdf7914de345f /editor/property_editor.cpp | |
| parent | a673e18d348ac863b2f5af1e25e557759dea56a9 (diff) | |
| parent | e461e28c70f1359b82c7d4cfc2c89b56f4f2d490 (diff) | |
Merge pull request #57029 from timothyqiu/disable-script-editor-menu
Diffstat (limited to 'editor/property_editor.cpp')
0 files changed, 0 insertions, 0 deletions