Relintai 3244eab5c5 Fix docs for the write lock part of the RWLock, as it's not re-entrant.		2023-07-06 21:46:45 +02:00
..
classes	Fix docs for the write lock part of the RWLock, as it's not re-entrant.	2023-07-06 21:46:45 +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