build based on 836f371

JuliaManifolds · Nov 25, 2024 · ec7812f · ec7812f
1 parent 4fe8903
commit ec7812f
Show file tree

Hide file tree

Showing 19 changed files with 124 additions and 124 deletions.
diff --git a/previews/PR14/.documenter-siteinfo.json b/previews/PR14/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-25T08:23:18","documenter_version":"1.8.0"}}
+{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-25T08:35:24","documenter_version":"1.8.0"}}
diff --git a/previews/PR14/about/index.html b/previews/PR14/about/index.html
diff --git a/previews/PR14/contributing/index.html b/previews/PR14/contributing/index.html
diff --git a/previews/PR14/groups/general_linear/index.html b/previews/PR14/groups/general_linear/index.html
diff --git a/previews/PR14/groups/index.html b/previews/PR14/groups/index.html
diff --git a/previews/PR14/groups/power_group/index.html b/previews/PR14/groups/power_group/index.html
diff --git a/previews/PR14/groups/product_group/index.html b/previews/PR14/groups/product_group/index.html
diff --git a/previews/PR14/groups/semidirect_product_group/index.html b/previews/PR14/groups/semidirect_product_group/index.html
diff --git a/previews/PR14/groups/translation/index.html b/previews/PR14/groups/translation/index.html
diff --git a/previews/PR14/index.html b/previews/PR14/index.html
diff --git a/previews/PR14/interface/actions/index.html b/previews/PR14/interface/actions/index.html
diff --git a/previews/PR14/interface/algebra/index.html b/previews/PR14/interface/algebra/index.html
diff --git a/previews/PR14/interface/group/index.html b/previews/PR14/interface/group/index.html
diff --git a/previews/PR14/interface/operations/index.html b/previews/PR14/interface/operations/index.html
diff --git a/previews/PR14/news/index.html b/previews/PR14/news/index.html
diff --git a/previews/PR14/notation/index.html b/previews/PR14/notation/index.html
diff --git a/previews/PR14/references/index.html b/previews/PR14/references/index.html
diff --git a/previews/PR14/tutorials/getstarted/index.html b/previews/PR14/tutorials/getstarted/index.html
diff --git a/previews/PR14/tutorials/transition/index.html b/previews/PR14/tutorials/transition/index.html
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-25T08:23:18","documenter_version":"1.8.0"}}
		{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-25T08:35:24","documenter_version":"1.8.0"}}