Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #2779 from boutproject/rtd-config-os
[RTD] add os to read the docs config
- Loading branch information