# HG changeset patch # User Emanuel Schuetze # Date 1411382356 -7200 # Node ID 3e7ac50b04da9ed6617cbb505a2b4008a3f4eb4d # Parent 882df57bdaf6dac8a39d58d3fc29cf02b4b5f786 (help) Updated search box title. diff -r 882df57bdaf6 -r 3e7ac50b04da manuals/help-manual/_templates/searchbox.html --- a/manuals/help-manual/_templates/searchbox.html Fri Sep 19 11:54:16 2014 +0200 +++ b/manuals/help-manual/_templates/searchbox.html Mon Sep 22 12:39:16 2014 +0200 @@ -9,7 +9,7 @@ #} {%- if pagename != "search" and builder != "singlehtml" %}