Skip to content

Web search

Veda Heard requested to merge web-search into master

Add search bar to the web, also some minor web bug fixes/improvements

Merge request reports