Update dev documentation websites

MAIF · Feb 7, 2024 · 10c875d · 10c875d
1 parent ce1549a
commit 10c875d
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/docs/devmanual/search/index/en_4cab678.pf_index b/docs/devmanual/search/index/en_4cab678.pf_index
diff --git a/docs/devmanual/search/pagefind-entry.json b/docs/devmanual/search/pagefind-entry.json
@@ -1 +1 @@
-{"version":"1.0.4","languages":{"en":{"hash":"en_f3bb71c0e3","wasm":"en","page_count":87}}}
+{"version":"1.0.4","languages":{"en":{"hash":"en_f3bb71c0e3","wasm":"en","page_count":87}}}
diff --git a/docs/devmanual/search/pagefind.en_6d35cc8211.pf_meta b/docs/devmanual/search/pagefind.en_6d35cc8211.pf_meta
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"version":"1.0.4","languages":{"en":{"hash":"en_f3bb71c0e3","wasm":"en","page_count":87}}}
		{"version":"1.0.4","languages":{"en":{"hash":"en_f3bb71c0e3","wasm":"en","page_count":87}}}