build based on 3709390

DanielVandH · Oct 21, 2023 · 168e63e · 168e63e
1 parent ad0e0e9
commit 168e63e
Show file tree

Hide file tree

Showing 15 changed files with 773 additions and 462 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-21T07:31:27","documenter_version":"1.1.1"}}