1
0
mirror of synced 2025-12-25 20:02:09 -05:00
Files
docs/javascripts/search.js
Kevin Heis c51f5390d4 Move search results to use relative urls (#17411)
* Move search results to use relative urls

* ..and now we have real mark tags instead of em tags

Co-authored-by: Chiedo John <2156688+chiedo@users.noreply.github.com>
2021-01-21 17:23:16 +00:00

7.7 KiB