diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-07 13:41:29 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-07 13:41:29 +0100 |
| commit | 518b4bcc0d688dcbc6c9766cacd85fd3a461bcd6 (patch) | |
| tree | 241ad991b4531eb1c50776900fff91c7a323bb6a /modules/navigation/godot_navigation_server.h | |
| parent | a1bc636098c91ed47a8d9a23e07a4c85b64c1884 (diff) | |
| parent | c89100e5718d035698b5dc34a20a2950fd86acfb (diff) | |
Merge pull request #68342 from KoBeWi/Godot_museum't
Allow to disable History Dock via feature profile
Diffstat (limited to 'modules/navigation/godot_navigation_server.h')
0 files changed, 0 insertions, 0 deletions