build based on 54e5894

2 years ago · 0dedc462d3
2 changed files with 3 additions and 3 deletions
--- a/dev/.documenter-siteinfo.json
+++ b/dev/.documenter-siteinfo.json
@ -1 +1 @@
				@@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-05T22:49:18","documenter_version":"1.1.2"}}
+{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-05T22:53:30","documenter_version":"1.1.2"}}
--- a/dev/index.html
+++ b/dev/index.html