build based on 4dbb8c0

jump-dev · May 7, 2024 · c53b478 · c53b478
1 parent 5b26e7d
commit c53b478
Show file tree

Hide file tree

Showing 91 changed files with 111,462 additions and 111,380 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-21T13:46:26","documenter_version":"1.2.1"}}
+{"documenter":{"julia_version":"1.10.3","generation_timestamp":"2024-05-07T08:14:51","documenter_version":"1.4.1"}}
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2023-12-21T13:46:26","documenter_version":"1.2.1"}}
		{"documenter":{"julia_version":"1.10.3","generation_timestamp":"2024-05-07T08:14:51","documenter_version":"1.4.1"}}