aboutsummaryrefslogtreecommitdiff
path: root/docs/js/search.js
Commit message (Expand)AuthorAgeFilesLines
* Fix highlighting in search, add highlights in forwarding linksFelix Mulder2016-11-071-11/+43
* Fix #1674: add search to doc siteFelix Mulder2016-11-071-0/+57