Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs/source/conf.py: fix html_theme setting
This seems to have changed on the readthedocs side and is now I think required to be set. Signed-off-by: Ondrej Lichtner <[email protected]>
- Loading branch information