build based on b5c07ad

simonsteiger · Aug 6, 2024 · aa8fb0c · aa8fb0c
1 parent dcda90c
commit aa8fb0c
Show file tree

Hide file tree

Showing 49 changed files with 1,263 additions and 186 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-08-06T05:18:12","documenter_version":"1.5.0"}}
diff --git a/dev/.gitkeep b/dev/.gitkeep
diff --git a/dev/404.html b/dev/404.html
diff --git a/dev/api.html b/dev/api.html
diff --git a/dev/api/index.html b/dev/api/index.html
diff --git a/dev/assets/.gitkeep b/dev/assets/.gitkeep
diff --git a/dev/assets/api.md.BSR-Gmuw.js b/dev/assets/api.md.BSR-Gmuw.js
diff --git a/dev/assets/api.md.BSR-Gmuw.lean.js b/dev/assets/api.md.BSR-Gmuw.lean.js
diff --git a/dev/assets/app.DLC3cV36.js b/dev/assets/app.DLC3cV36.js
diff --git a/dev/assets/chunks/@localSearchIndexroot.CfGOzTtv.js b/dev/assets/chunks/@localSearchIndexroot.CfGOzTtv.js