build based on d142456

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

Hide file tree

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