Merge pull request #5117 from mshabunin:adding-google-search

10 years ago · 573858f134
parent b76d351419 bd4c685553
commit 573858f134
1 changed files with 1 additions and 0 deletions
--- a/doc/header.html
+++ b/doc/header.html
@ -22,6 +22,7 @@ $extrastylesheet

 <!--BEGIN TITLEAREA-->
 <div id="titlearea">
+<!--#include virtual="/google-search.html"-->
 <table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">