jump-dev
diff --git a/‎dev/.documenter-siteinfo.json‎
Lines changed: 1 addition & 1 deletion b/‎dev/.documenter-siteinfo.json‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎dev/analyzer/index.html‎
Lines changed: 1 addition & 1 deletion b/‎dev/analyzer/index.html‎
Lines changed: 1 addition & 1 deletion
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.11.6","generation_timestamp":"2025-08-18T04:10:05","documenter_version":"1.14.1"}}
+{"documenter":{"julia_version":"1.12.1","generation_timestamp":"2025-11-15T21:19:11","documenter_version":"1.16.0"}}
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{"documenter":{"julia_version":"1.11.6","generation_timestamp":"2025-08-18T04:10:05","documenter_version":"1.14.1"}}`
	`1`	`+{"documenter":{"julia_version":"1.12.1","generation_timestamp":"2025-11-15T21:19:11","documenter_version":"1.16.0"}}`