build based on 3fa57e7

hdavid16 · Nov 16, 2023 · 5d5d2aa · 5d5d2aa
1 parent 9ea5fb5
commit 5d5d2aa
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 21 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-11-16T17:20:10","documenter_version":"1.1.2"}}
+{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-11-16T17:24:48","documenter_version":"1.1.2"}}
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-11-16T17:20:10","documenter_version":"1.1.2"}}
		{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-11-16T17:24:48","documenter_version":"1.1.2"}}