Initial commit

2023-07-13 13:12:19 +02:00
commit 8a0467f821
132 changed files with 17072 additions and 0 deletions
--- a/docs/docpress.json
+++ b/docs/docpress.json
@@ -0,0 +1,9 @@
+{
+    "docs": "md",
+    "markdown": {
+        "plugins": {
+            "code-include": {}
+        }
+    },
+    "css": ["md/docpress.css", "md/github-dark-dimmed.css"]
+}