build based on 1e22571

KnutAM · Dec 2, 2023 · c2f0faa · c2f0faa
1 parent 77fdcd6
commit c2f0faa
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/previews/PR10/.documenter-siteinfo.json b/previews/PR10/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-12-02T14:14:41","documenter_version":"1.1.2"}}
+{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-12-02T14:48:48","documenter_version":"1.1.2"}}