diff options
author | Martin Fischer <martin@push-f.com> | 2023-08-30 10:28:15 +0200 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2023-09-03 23:00:05 +0200 |
commit | 56195b4a52ee0f906fe2bcc26e2ffb52beede282 (patch) | |
tree | 18cf954ef004b70853c1cbc6cf89942e129dcce9 /generate_entities.py | |
parent | ec8f612754a516797589d23cf08b60ae406a2e96 (diff) |
fix(docs): doctype name may be != "html" in HTML documents
Diffstat (limited to 'generate_entities.py')
0 files changed, 0 insertions, 0 deletions