mirror of
https://github.com/Relintai/pandemonium_engine.git
synced 2024-11-24 01:47:20 +01:00
Relintai
8a4da4c157
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
|
||
---|---|---|
.. | ||
doc_merge.py | ||
doc_status.py | ||
make_rst.py |