Search engine problem

[alexisreboulsalze]

The Search engine on the website does not work anymore.
This is what I get for every search I make.

Is it possible to fix this problem ?
Thanks

[AnkitBarik]

Yes, I know of this problem but haven't yet found an easy fix unfortunately. I will try to find one soon. Till then, you can use the table of contents (I know it's a bit of a pain). Sorry about that! "May the force be with you"

…

On Thu, Jun 6, 2019 at 11:41 AM alexisreboulsalze ***@***.***> wrote: The Search engine on the website does not work anymore. This is what I get for every search I make. [image: Screen Shot 2019-06-06 at 17 39 49] <https://user-images.githubusercontent.com/28569298/59046393-35211f80-8882-11e9-8f8f-015f6b2e1e2c.png> Is it possible to fix this problem ? Thanks — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#1?email_source=notifications&email_token=ADIYEKKZRN4ZDYBOSNE352DPZEV2DA5CNFSM4HVDSDVKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GYB2IHA>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ADIYEKIMY3XV25RAKJR5NITPZEV2DANCNFSM4HVDSDVA> .