[PATCH] RTEMS Docs: Fix search field

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

Previous message: [PATCH] RTEMS Docs: Fix search field
Next message: Update sphinx_rtd_theme to 68a19ca / 0.4.3.dev0.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message: [PATCH] RTEMS Docs: Fix search field
Next message: Update sphinx_rtd_theme to 68a19ca / 0.4.3.dev0.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the devel mailing list