tree c9d82d3793631911730b2cd893a11773b5bc2d4e
parent 45308ceba8cb6d6188ee12656b8bbcdc740a66cb
author Akron <nils@diewald-online.de> 1599475458 +0200
committer Akron <nils@diewald-online.de> 1599740517 +0200

Exclude search results from robot indices (closes #120)

Change-Id: If6387bb7585afbba80743cad9cfcf8779517c6b3