diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-05-03 11:20:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-03 11:20:46 +0200 |
commit | 3894b08d0d48eb9cf99123380835750fe9691b45 (patch) | |
tree | eb116c0448eade0992b9230466096bec8249ff7a /servers/navigation_server_2d.h | |
parent | f75afaa085312fe873e8723636510d1e95e9da99 (diff) | |
parent | 97e87a2daf27ff250e748cb25a29f1c91879c709 (diff) |
Merge pull request #60553 from madmiraal/separate-display_safe_area
Diffstat (limited to 'servers/navigation_server_2d.h')
0 files changed, 0 insertions, 0 deletions