From 786f86ea1108ccc85f6e9dc79b10f626c17ddf33 Mon Sep 17 00:00:00 2001 From: Federico Zivolo Date: Wed, 13 Dec 2017 10:01:59 +0100 Subject: [PATCH] docs: Fixed search --- _includes/scripts.html | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/_includes/scripts.html b/_includes/scripts.html index be4742fa..16810a72 100755 --- a/_includes/scripts.html +++ b/_includes/scripts.html @@ -45,8 +45,8 @@