Extend HTML output

gbv · Jun 6, 2024 · 6ede507 · 6ede507
1 parent 1fb1ffe
commit 6ede507
Show file tree

Hide file tree

Showing 7 changed files with 41,687 additions and 38,391 deletions.
diff --git a/docs/index-old.html b/docs/index-old.html
diff --git a/docs/index.html b/docs/index.html