Update dev documentation websites

MAIF · Nov 16, 2023 · ebc83f5 · ebc83f5
1 parent 7d5a5f1
commit ebc83f5
Show file tree

Hide file tree

Showing 12 changed files with 1,086 additions and 2,772 deletions.
diff --git a/docs/devmanual/search/pagefind-entry.json b/docs/devmanual/search/pagefind-entry.json
@@ -1 +1 @@
-{"version":"1.0.3","languages":{"en":{"hash":"en_e08d68110e","wasm":"en","page_count":86}}}
+{"version":"1.0.4","languages":{"en":{"hash":"en_99e3ab6853","wasm":"en","page_count":86}}}
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"version":"1.0.3","languages":{"en":{"hash":"en_e08d68110e","wasm":"en","page_count":86}}}
		{"version":"1.0.4","languages":{"en":{"hash":"en_99e3ab6853","wasm":"en","page_count":86}}}