chore: fix docs search (#880)
Signed-off-by: Panos Vagenas <35837085+vagenas@users.noreply.github.com>
P
Panos Vagenas committed
17448163e7dc64e6607b3be9bcb66f5ca71c011c
Parent: 6d3fea0
Committed by GitHub <noreply@github.com>
on 2/4/2025, 10:35:34 AM