control-toolbox
diff --git a/‎dev/.documenter-siteinfo.json‎
Lines changed: 1 addition & 1 deletion b/‎dev/.documenter-siteinfo.json‎
Lines changed: 1 addition & 1 deletion
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.11.4","generation_timestamp":"2025-04-14T10:07:59","documenter_version":"1.10.1"}}
+{"documenter":{"julia_version":"1.11.4","generation_timestamp":"2025-04-14T10:10:00","documenter_version":"1.10.1"}}
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{"documenter":{"julia_version":"1.11.4","generation_timestamp":"2025-04-14T10:07:59","documenter_version":"1.10.1"}}`
	`1`	`+{"documenter":{"julia_version":"1.11.4","generation_timestamp":"2025-04-14T10:10:00","documenter_version":"1.10.1"}}`