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_status.py	Add Python PEP 484/526 type hints to doc/tools/doc_status.py	2022-07-29 13:27:48 -04:00
make_rst.py	Doctool: Remove version attribute from XML header	2023-07-06 10:08:21 +02:00