build based on 3a2b846

tomchor · May 9, 2024 · a00ba65 · a00ba65
1 parent 5e48651
commit a00ba65
Show file tree

Hide file tree

Showing 168 changed files with 28,029 additions and 15,832 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2024-05-09T17:04:49","documenter_version":"1.4.1"}}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2024-05-09T17:04:49","documenter_version":"1.4.1"}}