summaryrefslogtreecommitdiff
path: root/manual/gsearch.js
AgeCommit message (Expand)Author
2011-06-19Manual: add search box to HTML output.Dominik Riebeling