just rename

GoldenVadim · GoldenVadim · commit 1f26d62c0849 · 2025-03-09T15:24:40.000+02:00
diff --git a/docs_src b/docs_src
@@ -1 +1 @@
-Subproject commit d5c9d71cb0328defc3a4892389771624869c54ea
+Subproject commit 42abd92c4658eba7ca708d8e964d8546ce9c0312

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-Subproject commit d5c9d71cb0328defc3a4892389771624869c54ea`
	`1`	`+Subproject commit 42abd92c4658eba7ca708d8e964d8546ce9c0312`