Rémi Verschelde 32ddd4f4e0 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). (cherry picked from commit 81064cc239)		2024-09-11 12:41:48 +02:00
..
doc_merge.py	SCons: Format buildsystem files with psf/black	2020-06-10 15:30:52 +02:00
doc_status.py	SCons: Format buildsystem files with psf/black	2020-06-10 15:30:52 +02:00
make_rst.py	Doctool: Remove version attribute from XML header	2024-09-11 12:41:48 +02:00