oscar-system
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.12.1","generation_timestamp":"2025-11-14T03:32:34","documenter_version":"1.15.0"}}
+{"documenter":{"julia_version":"1.12.1","generation_timestamp":"2025-11-15T03:30:21","documenter_version":"1.16.0"}}
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{"documenter":{"julia_version":"1.12.1","generation_timestamp":"2025-11-14T03:32:34","documenter_version":"1.15.0"}}`
	`1`	`+{"documenter":{"julia_version":"1.12.1","generation_timestamp":"2025-11-15T03:30:21","documenter_version":"1.16.0"}}`