build based on e42b56f

bluesmoon · Oct 10, 2023 · 1375369 · 1375369
1 parent e3b049e
commit 1375369
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.6.7","generation_timestamp":"2023-10-10T14:11:00","documenter_version":"1.1.0"}}
+{"documenter":{"julia_version":"1.6.7","generation_timestamp":"2023-10-10T14:12:37","documenter_version":"1.1.0"}}