Rémi Verschelde 81064cc239 Doctool: Remove version attribute from XML header ... We don't use that info for anything, and it generates unnecessary diffs every time we bump the minor version (and CI failures if we forget to sync some files from opt-in modules (mono, text_server_fb).		2023-07-06 10:08:21 +02:00
..
doc_classes	Doctool: Remove version attribute from XML header	2023-07-06 10:08:21 +02:00
editor	Fix GridMap tile picking when a search filter is applied	2023-06-21 12:02:07 +08:00
icons	Add syntax highlighter icons	2023-05-29 20:42:54 +02:00
config.py
grid_map.cpp	Rework Navigation Avoidance	2023-05-10 05:01:58 +02:00
grid_map.h
register_types.cpp	Style: Harmonize header includes in modules	2023-06-15 14:35:45 +02:00
register_types.h
SCsub