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 + } +}