ci: publish documentation for 11feb6a

camptocamp · Aug 17, 2024 · d545d67 · d545d67
1 parent 4811296
commit d545d67
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/search-index.js b/docs/search-index.js