This repository was archived by the owner on Sep 21, 2025. It is now read-only.

add search to nav bar#185

Open

migueldlr wants to merge 9 commits into

mainfrom

migueldlr/nav-search

Select a check to view from the sidebar