summaryrefslogtreecommitdiffstats
path: root/manual/gsearch.js
AgeCommit message (Expand)AuthorFilesLines
2011-06-19Manual: add search box to HTML output.Dominik Riebeling1-0/+11