build based on 4e0c352

JuliaCollections · Dec 1, 2023 · 7d2a4ea · 7d2a4ea
1 parent 37d69ee
commit 7d2a4ea
Show file tree

Hide file tree

Showing 6 changed files with 211 additions and 209 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.8.5","generation_timestamp":"2023-11-24T08:28:14","documenter_version":"1.1.2"}}
+{"documenter":{"julia_version":"1.8.5","generation_timestamp":"2023-12-01T05:16:30","documenter_version":"1.2.0"}}
diff --git a/dev/assets/themes/documenter-dark.css b/dev/assets/themes/documenter-dark.css
diff --git a/dev/assets/themes/documenter-light.css b/dev/assets/themes/documenter-light.css
diff --git a/dev/index.html b/dev/index.html
diff --git a/dev/reference/index.html b/dev/reference/index.html
diff --git a/dev/search_index.js b/dev/search_index.js
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"documenter":{"julia_version":"1.8.5","generation_timestamp":"2023-11-24T08:28:14","documenter_version":"1.1.2"}}
		{"documenter":{"julia_version":"1.8.5","generation_timestamp":"2023-12-01T05:16:30","documenter_version":"1.2.0"}}