From 4f84362d7365fc830d4e762024e749a73e39542d Mon Sep 17 00:00:00 2001 From: Jakub Roztocil Date: Fri, 10 Sep 2021 23:58:33 +0200 Subject: [PATCH] Update config.json --- docs/config.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/config.json b/docs/config.json index 2291f323..4375a5a5 100644 --- a/docs/config.json +++ b/docs/config.json @@ -1,5 +1,5 @@ { "website": { - "master_and_released_docs_differ_after_commit": null + "master_and_released_docs_differ_after": null } }