This repository was archived by the owner on Oct 27, 2024. It is now read-only.
This repository was archived by the owner on Oct 27, 2024. It is now read-only.
[Protocols] Search function #123
Description
Implement a search function over all protocols.
Nice would be a GitHub-like style with excerpts from the protocols and highlighted search term.
