build based on 9ad8854

gdkrmr · Nov 3, 2023 · ae2281a · ae2281a
1 parent 1487261
commit ae2281a
Show file tree

Hide file tree

Showing 7 changed files with 62 additions and 48 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-09-29T06:26:42","documenter_version":"1.1.0"}}
+{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-03T12:17:41","documenter_version":"1.1.2"}}
diff --git a/dev/api/index.html b/dev/api/index.html
diff --git a/dev/assets/documenter.js b/dev/assets/documenter.js
diff --git a/dev/assets/themes/documenter-dark.css b/dev/assets/themes/documenter-dark.css
diff --git a/dev/assets/themes/documenter-light.css b/dev/assets/themes/documenter-light.css