build based on 7c7c87c

brenhinkeller · Dec 12, 2023 · d8e7db5 · d8e7db5
1 parent 5b6c216
commit d8e7db5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-12-12T23:12:14","documenter_version":"1.2.1"}}
+{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-12-12T23:12:51","documenter_version":"1.2.1"}}