build based on 82e20b7

cormullion · Oct 5, 2023 · decd25c · decd25c
commit decd25c
Show file tree

Hide file tree

Showing 241 changed files with 435,773 additions and 0 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-05T16:25:50","documenter_version":"1.1.0"}}