docs search fix

as pmbootstrap!2500 (merged) this fixes the search in the documents

added type::fix label

added 1 commit

• c2569f71 - docs: add py3-sphinxcontrib-jquery to fix the failing search

Compare with previous version

approved this merge request

Thanks!

added 1 commit

• 0c57c114 - docs: add py3-sphinxcontrib-jquery to fix the failing search (MR 116)

Compare with previous version

enabled an automatic merge when all merge checks for 0c57c114 pass

merged