diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2020-12-28 08:28:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-28 08:28:43 +0100 |
| commit | 6fd9a1bb10636a9e4f24b3bbb0a77ad33b7e7b84 (patch) | |
| tree | c1794aa430978f8632db9717e5868805d66150d4 /editor/editor_properties.cpp | |
| parent | 783ec77dbfbd3d94a79b14dadbfd6caa37e65334 (diff) | |
| parent | d80224934e01f19573852a50ae50d5f12ff04799 (diff) | |
Merge pull request #44701 from Calinou/html5-editor-fix-logo-size
Fix and decrease Godot logo size in the HTML5 editor loader
Diffstat (limited to 'editor/editor_properties.cpp')
0 files changed, 0 insertions, 0 deletions