diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-04-16 10:23:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-16 10:23:55 +0200 |
| commit | 8bbdd43b09be1fd40c2ef1bfbb9893da6c6864b7 (patch) | |
| tree | 045d2815a5ae36d5af8719db83bf2f850398447f /scene/gui | |
| parent | dcc82a3f412f31321b03491736df34a4124a5f89 (diff) | |
| parent | fd2e652196968add80e41bfcc2562d810527e5b2 (diff) | |
Merge pull request #47950 from AndreaCatania/AndreaCatania-patch-4
Lowers the navigation edge margin merge
Diffstat (limited to 'scene/gui')
0 files changed, 0 insertions, 0 deletions