[PATCH] RTEMS Docs: Fix search field

Amar Takhar amar at rtems.org
Wed Feb 26 05:17:16 UTC 2020


Hi Niteesh, I have pushed the upgrade to the latest version of the theme.

Can you confirm this fixes the search box for you?

Thank you!


Amar.


More information about the devel mailing list