Ninni Pipping c25ea39a3b Clarify String.get_slice behavior ... Clarify that the function returns the whole string if there is no instances of the delimiter in the string.		2023-06-28 12:23:28 +02:00
..
classes	Clarify String.get_slice behavior	2023-06-28 12:23:28 +02:00
engine	Fix typos with codespell.	2022-12-22 19:51:25 +01:00
tools	Ported: Update make_rst.py to match the master version	2023-04-15 11:20:13 +02:00
translations	Renamed neighbor_dist properties / getters / setters for the navigation server.	2023-06-12 08:37:57 +02:00
Doxyfile	Mass replaced godot to pandemonium.	2022-03-23 20:46:05 +01:00
Makefile	Fixes doc/Makefile fails if path contains spaces	2022-10-08 16:22:55 +02:00