From 0115a4a46662b563a0f22f957e502c84b6f5c4f0 Mon Sep 17 00:00:00 2001 From: Jakub Roztocil Date: Fri, 10 Sep 2021 18:50:45 +0200 Subject: [PATCH] Create config.json --- docs/config.json | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 docs/config.json diff --git a/docs/config.json b/docs/config.json new file mode 100644 index 00000000..2291f323 --- /dev/null +++ b/docs/config.json @@ -0,0 +1,5 @@ +{ + "website": { + "master_and_released_docs_differ_after_commit": null + } +}