Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Preparing for v1.0.0 release: try to fix documentation file inclusion.
Testing which change was the correct one.
- Loading branch information