mashu
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.0","generation_timestamp":"2024-10-10T11:24:22","documenter_version":"1.7.0"}}
+{"documenter":{"julia_version":"1.11.0","generation_timestamp":"2024-10-10T11:34:37","documenter_version":"1.7.0"}}
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{"documenter":{"julia_version":"1.11.0","generation_timestamp":"2024-10-10T11:24:22","documenter_version":"1.7.0"}}`
	`1`	`+{"documenter":{"julia_version":"1.11.0","generation_timestamp":"2024-10-10T11:34:37","documenter_version":"1.7.0"}}`