CodeIssuesPullsCIStacksSearchBranchesTags

autodoc: Add / as an alternative search key

Per Discord discussion. Motivation: `/` is now the de facto standard for initating search on webpages.
5d20a4e35ccryptocode committed on 4/29/2023, 6:48:18 PMparent13aaa16
2 files changedLine totals unavailable