From 887835cdacf2d9f5f5b08a24c556666b57a04f43 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Kol=C3=A1rik?= Date: Mon, 30 Oct 2017 23:54:36 +0100 Subject: [PATCH] Update docsearch.js links (#24613) --- _includes/header.html | 2 +- _includes/scripts.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/_includes/header.html b/_includes/header.html index 50606564da..c2c9deca0c 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -21,7 +21,7 @@ {% if page.layout == "docs" %} - + {% endif %} diff --git a/_includes/scripts.html b/_includes/scripts.html index 98ba3b41ff..c3b9715d5c 100644 --- a/_includes/scripts.html +++ b/_includes/scripts.html @@ -22,7 +22,7 @@ {%- if page.layout == "docs" -%} - +