mirror of https://github.com/searxng/searxng
Merge pull request #736 from not-my-profile/doc-highlight-current-in-sidebar
[doc] highlight the current page in the sidebarpull/738/head
commit
7cdb86ba95
Loading…
Reference in New Issue