zwischenstand

2024-02-13 16:36:09 +00:00
parent 0b4a474180
commit 49e55a90f7
173 changed files with 15832 additions and 1359 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"]
+}