aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/custom_theme
Commit message (Expand)AuthorAgeFilesLines
* Revert part of #1220revert-1220-url-filternodiscc2018-10-091-2/+0
* add "noindex, nofollow" HTML robots meta-tag to documentation pagesnodiscc2018-09-091-0/+25