From a51a03843d9f025e78a4d3c18cde4940055d37ec Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Tue, 16 Apr 2019 00:33:21 +0300 Subject: [PATCH] Docs: Use jQuery from Sphinx theme (fix search) --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index 8fc59b09..6b7cee0a 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 8fc59b09a2de0034bc93422775aab9f61a23da7c +Subproject commit 6b7cee0a32b6d529d8d0208dcd241111b014c151