build based on 515a05e

2 years ago · 7a4ce1e185
3 changed files with 4 additions and 4 deletions
--- a/dev/.documenter-siteinfo.json
+++ b/dev/.documenter-siteinfo.json
@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-06T12:10:53","documenter_version":"1.1.2"}}
+{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-06T12:27:33","documenter_version":"1.1.2"}}
--- a/dev/index.html
+++ b/dev/index.html
--- a/dev/search_index.js
+++ b/dev/search_index.js
		`@ -1 +1 @@`
			`{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-06T12:10:53","documenter_version":"1.1.2"}}`				`{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-06T12:27:33","documenter_version":"1.1.2"}}`