Relintai 8a4da4c157 Backported: Doctool: Remove version attribute from XML header. ... 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). - akien-mga 32ddd4f4e0		2024-09-20 09:00:20 +02:00
..
doc_merge.py
doc_status.py
make_rst.py