build based on 98c8c76

pszufe · Oct 13, 2023 · 39187fa · 39187fa
1 parent e7a8d5a
commit 39187fa
Show file tree

Hide file tree

Showing 13 changed files with 792 additions and 449 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-13T13:48:44","documenter_version":"1.1.1"}}