build based on 437709c

2 years ago · e037c07d1b
3 changed files with 13 additions and 7 deletions
--- a/dev/.documenter-siteinfo.json
+++ b/dev/.documenter-siteinfo.json
@ -1 +1 @@
				@@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-11-21T12:40:13","documenter_version":"1.1.2"}}
+{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-11-21T14:31:56","documenter_version":"1.1.2"}}
--- a/dev/index.html
+++ b/dev/index.html
--- a/dev/search_index.js
+++ b/dev/search_index.js