diff options
author | 2018-10-17 03:26:58 +0000 | |
---|---|---|
committer | 2018-10-17 03:26:58 +0000 | |
commit | 622a85f72bea2679ef4849abb083616bff3da0e7 (patch) | |
tree | 14137bb7ab65d46b73c19f0e27850dec22580aaf /docs/conf.py | |
parent | bb8a40544fdac7c9c5311b42993bf93f2d4da903 (diff) | |
parent | 7203ff5925b805d07a5df53b6cdcf7d44cc4e4d1 (diff) |
Merge "[docs] Transition to local docs build job."
Diffstat (limited to 'docs/conf.py')
-rw-r--r-- | docs/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py new file mode 100644 index 000000000..86fddf13e --- /dev/null +++ b/docs/conf.py @@ -0,0 +1 @@ +from docs_conf.conf import * # pylint: disable=wildcard-import |