From dbeffe426f1e7c3132a65115b4cb8b0692423af4 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Thu, 23 Jan 2020 22:48:22 +0200 Subject: [PATCH] Update docs for CI --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index 7b123190..663e0af3 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 7b12319095eeb8c06eee06556c4749e1c43838fb +Subproject commit 663e0af38e2af8688b7c0fd8f29fe3e313172758