infiniteopt
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":{"documenter_version":"1.17.0","generation_timestamp":"2026-04-20T19:19:16","julia_version":"1.12.6"}}
+{"documenter":{"documenter_version":"1.17.0","generation_timestamp":"2026-05-26T00:41:36","julia_version":"1.12.6"}}
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{"documenter":{"documenter_version":"1.17.0","generation_timestamp":"2026-04-20T19:19:16","julia_version":"1.12.6"}}`
	`1`	`+{"documenter":{"documenter_version":"1.17.0","generation_timestamp":"2026-05-26T00:41:36","julia_version":"1.12.6"}}`