Hugo Locurcio c16db0935f Fix doc_status.py trying to get removed version tag from XML ... This also runs `doc_status.py` on CI to catch potential future regressions.		2023-07-13 16:25:54 +02:00
..
doc_status.py	Fix doc_status.py trying to get removed version tag from XML	2023-07-13 16:25:54 +02:00
make_rst.py	Doctool: Remove version attribute from XML header	2023-07-06 10:08:21 +02:00