build based on 7563b32

JuliaManifolds · Oct 25, 2023 · a7a41d4 · a7a41d4
1 parent b6a2f73
commit a7a41d4
Show file tree

Hide file tree

Showing 68 changed files with 1,159 additions and 862 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-25T08:37:33","documenter_version":"1.1.2"}}
diff --git a/dev/about/index.html b/dev/about/index.html
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-25T08:37:33","documenter_version":"1.1.2"}}