mirror of
https://github.com/godotengine/godot.git
synced 2025-12-31 01:49:10 +03:00
419fc6e22d
Adds engine backend selection for NavigationServers, aka allows to swap navigation module for other backend implementations.