diff options
| author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2022-04-04 18:26:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-04 18:26:38 +0200 |
| commit | 8c25dd8f1eee02a34e45c026924434a0b551a2ae (patch) | |
| tree | 2d77a90068481269fed1147b379cc470c5e8988a /configgen | |
| parent | c6ab8e56a77e12a1318cc6897db575f755785f38 (diff) | |
Revert "produce new "doctype" config for document types"
Diffstat (limited to 'configgen')
0 files changed, 0 insertions, 0 deletions