diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-16 13:20:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-16 13:20:24 +0100 |
| commit | fc70f986b9a324fd0bf1707f2df7bfeabb2bb4d1 (patch) | |
| tree | bf91607352f0e9078ac0e846af3f3dc90cf736b0 /editor/editor_plugin.cpp | |
| parent | fa698151cf08f9b7472238e567afe7c5f0048faf (diff) | |
| parent | c3b246e6affcb10612800631a113be7d9cc18015 (diff) | |
Merge pull request #42008 from Calinou/theme-rename-node-type
Rename the `type` parameter to `node_type` in Theme and Control
Diffstat (limited to 'editor/editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions