build based on 3a1c2be

justus-springer · Nov 16, 2023 · be996b8 · be996b8
1 parent ac52904
commit be996b8
Show file tree

Hide file tree

Showing 10 changed files with 449 additions and 202 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.6.7","generation_timestamp":"2023-10-18T13:32:46","documenter_version":"1.1.1"}}
+{"documenter":{"julia_version":"1.6.7","generation_timestamp":"2023-11-16T09:06:15","documenter_version":"1.1.2"}}
diff --git a/dev/admissible_operations.html b/dev/admissible_operations.html
diff --git a/dev/database_functionality.html b/dev/database_functionality.html
diff --git a/dev/divisors.html b/dev/divisors.html
diff --git a/dev/docs_index.html b/dev/docs_index.html
diff --git a/dev/index.html b/dev/index.html
diff --git a/dev/mori_dream_spaces.html b/dev/mori_dream_spaces.html
diff --git a/dev/points.html b/dev/points.html
diff --git a/dev/search_index.js b/dev/search_index.js