2 Commits

Author	SHA1	Message	Date
Rémi Verschelde	06568bbfdf	Misc cleanup of header includes ... Was looking for misuse of module headers without checking that the module is actually enabled and got carried away...	2021-07-15 00:46:43 +02:00
Rémi Verschelde	74dc5e27c8	Rename `GdNavigationServer` to `GodotNavigationServer` ... And rename `gdnavigation` module to simply `navigation`.	2021-06-30 00:35:18 +02:00