diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-10-01 14:28:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-01 14:28:38 +0200 |
commit | c646768ba2ca320cc74457f21ce381f15ce46535 (patch) | |
tree | fe3991278782662d413a5cfa791be23220709901 /modules/mono | |
parent | 39ea52f36fbb98f2dda84e71f40f205c6b76a4d8 (diff) | |
parent | c6919a13da8e6b019be49aae9a7f0ebb28ef2c5e (diff) |
Merge pull request #40473 from rcorre/gizmo-doc
Fix return type on EditorNode3DGizmoPlugin::get_priority.
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions